A Formal Model of Access Control for Mobile Interactive Devices - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Autre Publication Année : 2006

A Formal Model of Access Control for Mobile Interactive Devices

Guillaume Dufay
  • Fonction : Auteur
  • PersonId : 834139
Thomas Jensen
  • Fonction : Auteur
  • PersonId : 831246

Résumé

This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by and improves on the Java security architecture used in Javaenabled mobile telephones. We consider access control permissions with multiplicities in order to allow to use a permission a certain number of times. An operational semantics of the model and a formal definition of what it means for an application to respect the security model is given. A static analysis which enforces the security model is defined and proved correct. A constraint solving algorithm implementing the analysis is presented.
Fichier principal
Vignette du fichier
main.pdf (237.63 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00083453 , version 1 (30-06-2006)

Identifiants

  • HAL Id : inria-00083453 , version 1

Citer

Frédéric Besson, Guillaume Dufay, Thomas Jensen. A Formal Model of Access Control for Mobile Interactive Devices. 2006. ⟨inria-00083453⟩
150 Consultations
137 Téléchargements

Partager

Gmail Facebook X LinkedIn More