Paper Info
Title
A Framework for the Analysis of Access Control Models for Interactive Mobile Devices
Abstract
The Java Micro Edition platform (JME), a Java enabled technology, provides the Mobile Information Device Profile (MIDP) standard that facilitates applications development and specifies a security model for the controlled access to sensitive resources of the device. The model builds upon the notion of protection domain, which in turn can be grasped as a set of permissions. An alternative model has been proposed that extends MIDP's by introducing permissions with multiplicities and adding flexibility to the way in which permissions are granted by the user of the device and used by the applications running on it. This paper presents a framework, formalized using the proof-assistant Coq, suitable for defining and comparing the access control policies that can be enforced by (variants of) those security models and to prove desirable properties they should satisfy. The proofs of some of those properties are also stated and discussed in this work.
Year
DOI
Venue
2008
10.1007/978-3-642-02444-3_4
TYPES
Keywords
Field
DocType
facilitates applications development,access control models,proof-assistant coq,mobile information device profile,desirable property,security model,access control policy,alternative model,controlled access,interactive mobile devices,java micro edition platform,protection domain,mobile device,satisfiability,proof assistant,model building,application development
Programming language,Computer science,Mobile Information Device Profile,Mobile device,Mathematical proof,Access control,Java,Computer security model
Conference
Volume
ISSN
Citations 
5497
0302-9743
1
PageRank 
References 
Authors
0.34
9
3
Name
Order
Citations
PageRank
Juan Manuel Crespo11647.25
Gustavo Betarte211211.51
Carlos Luna31129.96