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.

	1	M. Burrows , M. Abadi , R. Needham, A logic of authentication, Proceedings of the twelfth ACM symposium on Operating systems principles, p.1-13, November 1989
	2	[2] D. Dolev and A. C. Yao. On the Security of Public Key Protocols, IEEE Transactions on Information Theory Vol. IT-29, No. 2, March 1983, pp. 198-208.
	3	Jonathan K. Millen , Sidney C. Clark , Sheryl B. Freeman, The Interrogator: Protocol Secuity Analysis, IEEE Transactions on Software Engineering, v.13 n.2, p.274-288, February 1987  [doi>10.1109/TSE.1987.233151]
	4	Victor L. Voydock , Stephen T. Kent, Security Mechanisms in High-Level Network Protocols, ACM Computing Surveys (CSUR), v.15 n.2, p.135-171, June 1983  [doi>10.1145/356909.356913]