Efficient and timely mutual authentication

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Efficient and timely mutual authentication

Full text

Pdf (203 KB)

Source

ACM SIGOPS Operating Systems Review archive
Volume 21 , Issue 1 (January 1987) table of contents

Pages: 8 - 10

Year of Publication: 1987

ISSN:0163-5980

Authors

Dave Otway	The ANSA Project, Cambridge, UK, and Marconi Instruments Ltd.
Owen Rees	The ANSA Project, Cambridge, UK, and Raca Information Technology Developments Ltd.

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 17, Downloads (12 Months): 70, Citation Count: 35

Additional Information:

abstract 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/24592.24594 What is a DOI?

ABSTRACT

This paper describes a protocol for efficient mutual authentication (via a mutually trusted third party) that assures both principal parties of the timeliness of the interaction without the use of clocks or double encipherment. The protocol requires a total of only four messages to be exchanged between the three parties concerned.

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	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]
	2	Andrew D. Birrell, Secure communication using remote procedure calls, ACM Transactions on Computer Systems (TOCS), v.3 n.1, p.1-14, Feb. 1985 [doi>10.1145/214451.214452]
	3	Dorothy E. Denning , Giovanni Maria Sacco, Timestamps in key distribution protocols, Communications of the ACM, v.24 n.8, p.533-536, Aug. 1981 [doi>10.1145/358722.358740]

CITED BY 36

	M. Burrows , M. Abadi , R. Needham, A logic of authentication, ACM SIGOPS Operating Systems Review, v.23 n.5, p.1-13, Dec. 3–6, 1989
	Li Gong, Lower bounds on messages and rounds for network authentication protocols, Proceedings of the 1st ACM conference on Computer and communications security, p.26-37, November 03-05, 1993, Fairfax, Virginia, United States
	Joshua D. Guttman , F. Javier Thayer , Lenore D. Zuck, The faithfulness of abstract protocol analysis: message authentication, Proceedings of the 8th ACM conference on Computer and Communications Security, November 05-08, 2001, Philadelphia, PA, USA
	Ray Bird , Inder Gopal , Amir Herzberg , Phil Janson , Shay Kutten , Refik Molva , Moti Yung, The KryptoKnight family of light-weight protocols for authentication and key distribution, IEEE/ACM Transactions on Networking (TON), v.3 n.1, p.31-41, Feb. 1995
	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
	Woei-Jiunn Tsaur , Shi-Jinn Horng , Chia-Ho Chen, An authentication-combined access control scheme using a geometric approach in distributed systems, Proceedings of the 1997 ACM symposium on Applied computing, p.361-365, April 1997, San Jose, California, United States
	Geng-Sheng Kuo , Jing-Pei Lin, New design concepts for an intelligent Internet, Communications of the ACM, v.41 n.11, p.93-98, Nov. 1998
	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
	Joshua D. Guttman , F. Javier Thayer , Lenore D. Zuck, The faithfulness of abstract protocol analysis: message authentication, Journal of Computer Security, v.12 n.6, p.865-891, December 2004
	Raphael Yahalom, Optimality of multi-domain protocols, Proceedings of the 1st ACM conference on Computer and communications security, p.38-48, November 03-05, 1993, Fairfax, Virginia, United States
	Leonard G. C. Hamey, Teaching secure communication protocols using a game representation, Proceedings of the fifth Australasian conference on Computing education, p.187-196, February 01, 2003, Adelaide, Australia
	Jinghua Wen , Mei Zhang , Xiang Li, The study on the application of BAN logic in formal analysis of authentication protocols, Proceedings of the 7th international conference on Electronic commerce, August 15-17, 2005, Xi'an, China
	Andrew D. Gordon , Alan Jeffrey, Authenticity by typing for security protocols, Journal of Computer Security, v.11 n.4, p.451-519, 01/01/2004
	Michael Burrows , Martín Abadi , Roger Needham, Authentication: a practical study in belief and action, Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge, March 07-09, 1988, Pacific Grove, California
	Nevin Heintze , J. D. Tygar, A Model for Secure Protocols and Their Compositions, IEEE Transactions on Software Engineering, v.22 n.1, p.16-30, January 1996
	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
	Li Gong, Efficient network authentication protocols: lower bounds and optimal implementations, Distributed Computing, v.9 n.3, p.131-145, December 1995
	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
	Chiara Bodei , Mikael Buchholtz , Pierpaolo Degano , Flemming Nielson , Hanne Riis Nielson, Static validation of security protocols, Journal of Computer Security, v.13 n.3, p.347-390, May 2005
	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
	Bruno Blanchet , Andreas Podelski, Verification of cryptographic protocols: tagging enforces termination, Theoretical Computer Science, v.333 n.1-2, p.67-90, 1 March 2005
	Monica Nesi , Giustina Nocera, Deriving the type flaw attacks in the Otway-Rees protocol by rewriting, Nordic Journal of Computing, v.13 n.1, p.78-97, June 2006
	Michael Backes , Peeter Laud, Computationally sound secrecy proofs by mechanized flow analysis, Proceedings of the 13th ACM conference on Computer and communications security, October 30-November 03, 2006, Alexandria, Virginia, USA
	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
	Lei Tang, A set of protocols for micropayments in distributed systems, Proceedings of the 1st conference on USENIX Workshop on Electronic Commerce, p.8-8, July 11-12, 1995, New York, New York
	John A. Bull , David J. Otway, A nested mutual authentication protocol, ACM SIGOPS Operating Systems Review, v.33 n.4, p.42-47, Oct. 1999
	Iliano Cervesato , Mark-Oliver Stehr, Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types, Higher-Order and Symbolic Computation, v.20 n.1-2, p.3-35, June 2007
	I.-Lung Kao , Randy Chow, An efficient and secure authentication protocol using uncertified keys, ACM SIGOPS Operating Systems Review, v.29 n.3, p.14-21, July 1995
	Armin Liebl, Authentication in distributed systems: a bibliography, ACM SIGOPS Operating Systems Review, v.27 n.4, p.31-41, Oct. 1993
	Ralf Küsters , Thomas Wilke, Transducer-based analysis of cryptographic protocols, Information and Computation, v.205 n.12, p.1741-1776, December, 2007
	Klaas Ole Kürtz , Ralf Küsters , Thomas Wilke, Selecting theories and nonce generation for recursive protocols, Proceedings of the 2007 ACM workshop on Formal methods in security engineering, p.61-70, November 02-02, 2007, Fairfax, Virginia, USA
	Karthikeyan Bhargavan , Cédric Fournet , Andrew D. Gordon , Stephen Tse, Verified interoperable implementations of security protocols, ACM Transactions on Programming Languages and Systems (TOPLAS), v.31 n.1, p.1-61, December 2008
	Alessio Signorini , Antonio Gulli , Alberto Maria Segre, Distributed marketplaces using P2P networks and public-key cryptography, Proceedings of the 3rd international conference on Scalable information systems, June 04-06, 2008, Vico Equense, Italy
	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
	Bruno Blanchet, Automatic verification of correspondences for security protocols, Journal of Computer Security, v.17 n.4, p.363-434, December 2009
	Khatib Mounis , M'hamed Abdallah , Afifi Hossam, An on-demand key establishment protocol for MANETs, International Journal of Wireless and Mobile Computing, v.3 n.3, p.123-132, October 2009