A Formal Model of Access Control for Mobile Interactive Devices.

Frédéric Besson Guillaume Dufay Thomas P. Jensen

Published in: ESORICS (2006)

Keyphrases

access control
formal model
mobile devices
mobile applications
smart phones
fine grained
dynamic access control

data security
security policies
mobile phone
ubiquitous computing environments
role based access control
security mechanisms
security properties

access control policies
access control models
role based access control model
security requirements
security model
identity management
access control mechanism

mobile services
context aware
mobile computing
role assignment
rbac model
database systems