Mike Burmester, Tri Van Le, Breno de Medeiros. Towards Provable Security for Ubiquitous Applications. In Lynn Margaret Batten, Reihaneh Safavi-Naini, editors, Information Security and Privacy, 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006, Proceedings. Volume 4058 of Lecture Notes in Computer Science, pages 295-312, Springer, 2006. [doi]
Abstract is missing.