A Formal Model of Access Control for Mobile Interactive Devices

Frédéric Besson, Guillaume Dufay, Thomas P. Jensen. A Formal Model of Access Control for Mobile Interactive Devices. In Dieter Gollmann, Jan Meier, Andrei Sabelfeld, editors, Computer Security - ESORICS 2006, 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings. Volume 4189 of Lecture Notes in Computer Science, pages 110-126, Springer, 2006. [doi]

Authors

Frédéric Besson

This author has not been identified. Look up 'Frédéric Besson' in Google

Guillaume Dufay

This author has not been identified. Look up 'Guillaume Dufay' in Google

Thomas P. Jensen

This author has not been identified. Look up 'Thomas P. Jensen' in Google