1. Abadi, M.: Security Protocols and their Properties. In: Foundations of Secure Computation, pp. 39–60. NATO ASI. IOS Press, Amsterdam (2000)
2. Abadi, M., Gordon, A.D.: A Calculus for Cryptographic Protocols: The Spi Calculus. Information and Computation 148(1), 1–70 (1999)
3. Bodei, C., Buchholtz, M., Degano, P., Nielson, F., Nielson, H.: Automatic validation of protocol narration. In: Proceedings of 16th IEEE Computer Security Foundations Workshop (CSFW 16), pp. 126–140 (2003)
4. Lecture Notes in Computer Science;J. Borgström,2004
5. Blanchet, B.: Automatic Verification of Cryptographic Protocols: A Logic Programming Approach. In: Proceedings of Principles and Practice of Declarative Programming (PPDP 2003). ACM, New York (2003)