1. M. Abadi and A. D. Gordon. A calculus for cryptographic protocols: The spi calculus. Technical Report 414, University of Cambridge Computer Laboratory, January 1997. Extended version of both [2] and [3]. A revised version appeared as Digital Equipment Corporation Systems Research Center report No. 149, January 1998, and an abridged version will appear in Information and Computation.
2. A calculus for cryptographic protocols: The spi calculus;Abadi,1997
3. Reasoning about cryptographic protocols in the spi calculus;Abadi,1997
4. The reflexive chemical abstract machine and the join-calculus;Fournet,1996
5. Authentication in distributed systems: Theory and practice;Lampson;ACM Transactions on Computer Systems,1992