Yiu Shing Terry Tin, Harikrishna Vasanta, Colin Boyd, Juan Manuel González Nieto. Protocols with Security Proofs for Mobile Applications. In Huaxiong Wang, Josef Pieprzyk, Vijay Varadharajan, editors, Information Security and Privacy: 9th Australasian Conference, ACISP 2004, Sydney, Australia, July 13-15, 2004. Proceedings. Volume 3108 of Lecture Notes in Computer Science, pages 358-369, Springer, 2004. [doi]
Abstract is missing.