1. Bruno Blanchet: Computationally Sound Mechanized Proofs of Correspondence Assertions. In 20th IEEE Computer Security Foundations Symposium (CSF'07), pages 97–111, Venice, Italy, July 2007. IEEE
2. Mobile values, new names, and secure communication;Abadi;SIGPLAN Not.,2001
3. Jens Chr. Godskesen: A Calculus for Mobile Ad Hoc Networks (Extended Abstract). To appear in Proceedings of Coordination'07, Paphos, Cyprus. June 2007
4. A Calculus for Cryptographic Protocols: The Spi Calculus;Abadi,1997
5. Luca Cardelli and Andrew D. Gordon. Mobile Ambients. Foundations of Software Science and Computation Structures: First International Conference, FOSSACS '98