A Formal Model of Access Control for Mobile Interactive Devices

Frédéric Besson 1 Guillaume Dufay 1 Thomas Jensen 1
1 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : 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.
Type de document :
Autre publication
2006
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00083453
Contributeur : Frédéric Besson <>
Soumis le : vendredi 30 juin 2006 - 16:00:29
Dernière modification le : mercredi 11 avril 2018 - 02:00:23
Document(s) archivé(s) le : mardi 18 septembre 2012 - 15:26:11

Fichier

Identifiants

  • HAL Id : inria-00083453, version 1

Citation

Frédéric Besson, Guillaume Dufay, Thomas Jensen. A Formal Model of Access Control for Mobile Interactive Devices. 2006. 〈inria-00083453〉

Partager

Métriques

Consultations de la notice

220

Téléchargements de fichiers

151