A Formal Model of Access Control for Mobile Interactive Devices.

Frdric Besson, Guillaume Dufay, Thomas P. Jensen

Browse the full ESORICS paper archive.