A calculus for cryptographic protocols

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	ABLP93	Martín Abadi , Michael Burrows , Butler Lampson , Gordon Plotkin, A calculus for access control in distributed systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.4, p.706-734, Sept. 1993 [doi>10.1145/155183.155225]
	AN96	Martín Abadi , Roger Needham, Prudent Engineering Practice for Cryptographic Protocols, IEEE Transactions on Software Engineering, v.22 n.1, p.6-15, January 1996 [doi>10.1109/32.481513]
	BAN89	M. Burrows, M. Abadi, and R. M. Needham, A logic of authentication. Proceedings of the Royal Society of London A, 426:233-271, 1989, A preliminary version appeared as Digital Equipment Corporation Systems Research Center report No. 39, February 1989.
	BB90	Gerard Berry , Gerard Boudol, The chemical abstract machine, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.81-94, December 1989, San Francisco, California, United States [doi>10.1145/96709.96717]
	BN95	Michele Boreale , Rocco De Nicola, Testing equivalence for mobile processes, Information and Computation, v.120 n.2, p.279-303, Aug. 1, 1995 [doi>10.1006/inco.1995.1114]
	BR95	Mihir Bellare , Phillip Rogaway, Provably secure session key distribution: the three party case, Proceedings of the twenty-seventh annual ACM symposium on Theory of computing, p.57-66, May 29-June 01, 1995, Las Vegas, Nevada, United States [doi>10.1145/225058.225084]
	DES77	Data encryption standard. Fed. inform. Processing Standards Pub. 46, National Bureau of Standards, Washington DC, January 1977.
	DH76	W. Diffie and M. Hellman. New directions in cryptography. IEEE Transactions on Information Theory, IT-22(6):644-654, November 1976.
	DH84	R. De Nicola and M. C. B. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83-133, 1984.
	DY81	D. Dolev and A. C. Yao. On the security of. public key protocols. In Proc. 22th IEEE Symposium on Foundations of Computer Science, pages 350-357, 1981.
	GM95	J. W. , Iii Gray , J. McLean, Using temporal logic to specify and verify cryptographic protocols, Proceedings of the The Eighth IEEE Computer Security Foundations Workshop (CSFW '95), p.108, March 13-15, 1995
	Hoa85	C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985
	Kem89	R.A. Kemmerer. Analyzing encryption protocols using formal verification techniques. IEEE Journal on Selected Areas in Communications, 7, 1989.
	LABW92	Butler Lampson , Martín Abadi , Michael Burrows , Edward Wobber, Authentication in distributed systems: theory and practice, ACM Transactions on Computer Systems (TOCS), v.10 n.4, p.265-310, Nov. 1992 [doi>10.1145/138873.138874]
	Lie93	Armin Liebl, Authentication in distributed systems: a bibliography, ACM SIGOPS Operating Systems Review, v.27 n.4, p.31-41, Oct. 1993 [doi>10.1145/163640.163643]
	Low96	Gavin Lowe, Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR, Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems, p.147-166, March 27-29, 1996
	Mao96	Wenbo Mao, On two Proposals for On-line Bankcard Payments using Open Networks: Problems and Solutions, Proceedings of the 1996 IEEE Symposium on Security and Privacy, p.201, May 06-08, 1996
	MCF87	Jonathan K. Millen , Sidney C. Clark , Sheryl B. Freeman, The interrogator: protocol security analysis, IEEE Transactions on Software Engineering, v.13 n.2, p.274-288, Feb. 1987 [doi>10.1109/TSE.1987.233151]
	Mea92	C. Meadows. Applying formal methods to the analysis of a key management protocol. Journal of Computer Security, 1(1):5-36, 1992.
	Mil89	R. Milner, Communication and concurrency, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
	Mil92	R. Milner. Functions as processes. Mathematical Structures in Computer Science, 2:119-141, 1992.
	Mil95	J. K. Millen, The Interrogator model, Proceedings of the 1995 IEEE Symposium on Security and Privacy, p.251, May 08-10, 1995
	MPW92	Robin Milner , Joachim Parrow , David Walker, A calculus of mobile processes, I, Information and Computation, v.100 n.1, p.1-40, Sept. 1992 [doi>10.1016/0890-5401(92)90008-4]
	NS78	Roger M. Needham , Michael D. Schroeder, Using encryption for authentication in large networks of computers, Communications of the ACM, v.21 n.12, p.993-999, Dec. 1978 [doi>10.1145/359657.359659]
	RSA78	R. L. Rivest , A. Shamir , L. Adleman, A method for obtaining digital signatures and public-key cryptosystems, Communications of the ACM, v.21 n.2, p.120-126, Feb. 1978 [doi>10.1145/359340.359342]
	Sch94	Bruce Schneier, Applied cryptography (2nd ed.): protocols, algorithms, and source code in C, John Wiley & Sons, Inc., New York, NY, 1995
	Sch96	Steve Schneider, Security Properties and CSP, Proceedings of the 1996 IEEE Symposium on Security and Privacy, p.174, May 06-08, 1996