Frédéric Besson Guillaume Dufay Thomas P. Jensen A Formal Model of Access Control for Mobile Interactive Devices. 110-126 2006 conf/esorics/2006 ESORICS http://dx.doi.org/10.1007/11863908_8 db/conf/esorics/esorics2006.html#BessonDJ06