A lesson on authentication protocol design

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A lesson on authentication protocol design

Full text

Pdf (719 KB)

Source

ACM SIGOPS Operating Systems Review archive
Volume 28 , Issue 3 (July 1994) table of contents

Pages: 24 - 37

Year of Publication: 1994

ISSN:0163-5980

Authors

Thomas Y. C. Woo	Department of Computer Sciences, The University of Texas at Austin, Austin, Texas
Simon S. Lam	Department of Computer Sciences, The University of Texas at Austin, Austin, Texas

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 66, Citation Count: 22

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/182110.182113 What is a DOI?

REFERENCES

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	[1] M. Abadi. Private communication. March 1993.
	2	[2] M. Abadi and R. Needham. Good engineering practice for security in cryptographic protocols. Manuscript, November 1993.
	3	[3] R. Bird, I. Gopal, A. Herzberg, P.A. Janson, S. Kutten, R. Molva, and M. Yung. Systematic design of a family of attack-resistant authentication protocols. IEEE Journal on Selected Areas in Communications, 11(5):679-693, June 1993.
	4	[4] M. Burrows, M. Abadi, and R.M. Needham. A logic of authentication. Technical Report 39, Systems Research Center, Digital Equipment Corporation, February 28 1989. Revised February 22, 1990. An abbreviated version appears in [5].
	5	Michael Burrows , Martin Abadi , Roger Needham, A logic of authentication, ACM Transactions on Computer Systems (TOCS), v.8 n.1, p.18-36, Feb. 1990 [doi>10.1145/77648.77649]
	6	M. Pease , R. Shostak , L. Lamport, Reaching Agreement in the Presence of Faults, Journal of the ACM (JACM), v.27 n.2, p.228-234, April 1980 [doi>10.1145/322186.322188]
	7	Einer Snekkenes, Roles in Cryptographic Protocols, Proceedings of the 1992 IEEE Symposium on Security and Privacy, p.105, May 04-06, 1992
	8	Paul Syverson, On key distribution protocols for repeated authentication, ACM SIGOPS Operating Systems Review, v.27 n.4, p.24-30, Oct. 1993 [doi>10.1145/163640.163642]
	9	T. Y. C. Woo , S. S. Lam, Authentication Revisited, Computer, v.25 n.3, p.10, March 1992 [doi>10.1109/2.121502]
	10	Thomas Y. C. Woo , Simon S. Lam, A Semantic Model for Authentication Protocols, Proceedings of the 1993 IEEE Symposium on Security and Privacy, p.178, May 24-26, 1993
	11	[11] T.Y.C. Woo and S.S. Lam. Verifying authentication protocols: Methodology and example. In Proceedings of the International Conference on Network Protocols, pages 36-45, San Francisco, California, October 19-22 1993.
	12	[12] CCITT Recommendation X.500 The Directory--Overview of concepts, models, and services, 1988.

CITED BY 22

	Martín Abadi, Secrecy by typing in security protocols, Journal of the ACM (JACM), v.46 n.5, p.749-786, Sept. 1999
	Kamel Adi , Mourad Debbabi , Mohamed Mejri, A new logic for electronic commerce protocols, Theoretical Computer Science, v.291 n.3, p.223-283, 6 January 2003
	James Heather , Gavin Lowe , Steve Schneider, How to prevent type flaw attacks on security protocols, Journal of Computer Security, v.11 n.2, p.217-244, May 2003
	Antonio Durante , Riccardo Focardi , Roberto Gorrieri, A compiler for analyzing cryptographic protocols using noninterference, ACM Transactions on Software Engineering and Methodology (TOSEM), v.9 n.4, p.488-528, Oct. 2000
	Hongbin Zhou , Simon N. Foley, Fast automatic synthesis of security protocols using backward search, Proceedings of the 2003 ACM workshop on Formal methods in security engineering, p.1-10, October 30, 2003, Washington, D.C.
	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
	Panagiotis Louridas, Some guidelines for non-repudiation protocols, ACM SIGCOMM Computer Communication Review, v.30 n.5, October 2000
	R. Ramanujam , S. P. Suresh, Decidability of context-explicit security protocols, Journal of Computer Security, v.13 n.1, p.135-165, January 2005
	Michele Bugliesi , Riccardo Focardi , Matteo Maffei, Authenticity by tagging and typing, Proceedings of the 2004 ACM workshop on Formal methods in security engineering, October 29-29, 2004, Washington DC, USA
	Yafen Li , Wuu Yang , Ching-Wei Huang, Preventing type flaw attacks on security protocols with a simplified tagging scheme, Proceedings of the 2004 international symposium on Information and communication technologies, June 16-18, 2004, Las Vegas, Nevada
	Olivier Pereira , Jean-Jacques Quisquater, On the impossibility of building secure cliques-type authenticated group key agreement protocols, Journal of Computer Security, v.14 n.2, p.197-246, January 2006
	Joshua D. Guttman , F. Javier Thayer, Authentication tests and the structure of bundles, Theoretical Computer Science, v.283 n.2, p.333-380, June 14, 2002
	Joshua D. Guttman, Authentication tests and disjoint encryption: A design method for security protocols, Journal of Computer Security, v.12 n.3,4, p.409-433, May 2004
	Shahabuddin Muhammad , Zeeshan Furqan , Ratan K. Guha, Understanding the intruder through attacks on cryptographic protocols, Proceedings of the 44th annual southeast regional conference, March 10-12, 2006, Melbourne, Florida
	Chiara Bodei , Pierpaolo Degano , Han Gao , Linda Brodo, Detecting and Preventing Type flaws: a Control Flow Analysis with Tags, Electronic Notes in Theoretical Computer Science (ENTCS), v.194 n.1, p.3-22, November, 2007
	Hanane Houmani , Mohamed Mejri, Secrecy by interpretation functions, Knowledge-Based Systems, v.20 n.7, p.617-635, October, 2007
	Sebastian Mödersheim, On the relationships between models in protocol verification, Information and Computation, v.206 n.2-4, p.291-311, February, 2008
	Michael Backes , Agostino Cortesi , Riccardo Focardi , Matteo Maffei, A calculus of challenges and responses, Proceedings of the 2007 ACM workshop on Formal methods in security engineering, p.51-60, November 02-02, 2007, Fairfax, Virginia, USA
	Michele Bugliesi , Riccardo Focardi , Matteo Maffei, Dynamic types for authentication, Journal of Computer Security, v.15 n.6, p.563-617, December 2007
	H. Houmani , M. Mejri , H. Fujita, Secrecy of cryptographic protocols under equational theory, Knowledge-Based Systems, v.22 n.3, p.160-173, April, 2009
	Jonathan Millen, Rewriting Techniques in the Constraint Solver, Electronic Notes in Theoretical Computer Science (ENTCS), 234, p.77-91, March, 2009
	Song Han , Tharam Dillon , Elizabeth Chang , Biming Tian, Secure web services using two-way authentication and three-party key establishment for service delivery, Journal of Systems Architecture: the EUROMICRO Journal, v.55 n.4, p.233-242, April, 2009