Specifying and Implementing Secure Mobile Applications
Publisher
Chapman and Hall/CRC
Reference36 articles.
1. A Calculus for Cryptographic Protocols: The Spi Calculus
2. Concurrency Theory (CONCUR'04), Lecture Notes in Computer Science;Berger M.,2004
3. K. Bhargavan, C. Fournet, and A. D. Gordon. A semantics for web services authentication. InPOPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press, New York, 2004, pp.198-209.
4. Theoretical Aspects of Computer Science (TACS'01), Lecture Notes in Computer Science;Bugliesi M.,2001