Timestamps in key distribution protocols

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Timestamps in key distribution protocols

Full text

Pdf (397 KB)

Source

Communications of the ACM archive
Volume 24 , Issue 8 (August 1981) table of contents

Pages: 533 - 536

Year of Publication: 1981

ISSN:0001-0782

Authors

Dorothy E. Denning	Purdue Univ., West Lafayette, IN
Giovanni Maria Sacco	Purdue Univ., West Lafayette, IN

Publisher

ACM New York, NY, USA

Bibliometrics

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

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions 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/358722.358740 What is a DOI?

ABSTRACT

The distribution of keys in a computer network using single key or public key encryption is discussed. We consider the possibility that communication keys may be compromised, and show that key distribution protocols with timestamps prevent replays of compromised keys. The timestamps have the additional benefit of replacing a two-step handshake.

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	Dorothy E. Denning, Secure personal computing in an insecure network, Communications of the ACM, v.22 n.8, p.476-482, Aug. 1979 [doi>10.1145/359138.359143]
	2	Diffie, W., and Hellman, M., New directions in cryptography. IEEE Trans. on Info. Theory IT-22, 6 (Nov. 1976) 644--654.
	3	Konfelder, L. M., A method for certification. Lab. for Computer Science, MIT, Cambridge, Mass. (May 1978).
	4	Matyas, S. M., and Meyer, C. H. Generation, distribution, and installation of cryptographic keys. IBM Syst. J. 17, 2 (1978) 126-137.
	5	Merkle, R. C. Protocols for public key cryptosystems. Proc. 1980 Syrup. on Security and Privacy, IEEE Catalog No. 80 CH 1522-2 (April 1980) 122-133.
	6	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]
	7	Gerald J. Popek , Charles S. Kline, Encryption and Secure Computer Networks, ACM Computing Surveys (CSUR), v.11 n.4, p.331-356, Dec. 1979 [doi>10.1145/356789.356794]
	8	Jerome H. Saltzer, On digital signatures, ACM SIGOPS Operating Systems Review, v.12 n.2, p.12-14, April 1978 [doi>10.1145/775332.775334]

CITED BY 66

	Aviel D. Rubin, Extending NCP for protocols using public keys, Mobile Networks and Applications, v.2 n.3, p.227-241, Dec. 1997
	Dominique Bolignano, An approach to the formal verification of cryptographic protocols, Proceedings of the 3rd ACM conference on Computer and communications security, p.106-118, March 14-15, 1996, New Delhi, India
	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
	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
	Kellogg S. Booth, Authentication of signatures using public key encryption, Communications of the ACM, v.24 n.11, p.772-774, Nov. 1981
	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
	Gene Tsudik , Els Van Herreweghen, On simple and secure key distribution, Proceedings of the 1st ACM conference on Computer and communications security, p.49-57, November 03-05, 1993, Fairfax, Virginia, United States
	R. K. Bauer , T. A. Berson , R. J. Feiertag, A key distribution protocol using event markers, ACM Transactions on Computer Systems (TOCS), v.1 n.3, p.249-255, August 1983
	Jay E. Israel , Theodore A. Linden, Authentication in office system internetworks, ACM Transactions on Information Systems (TOIS), v.1 n.3, p.193-210, July 1983
	Andrew D. Birrell, Secure communication using remote procedure calls, ACM Transactions on Computer Systems (TOCS), v.3 n.1, p.1-14, Feb. 1985
	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
	Alec Yasinsac, Dynamic analysis of security protocols, Proceedings of the 2000 workshop on New security paradigms, p.77-87, September 18-21, 2000, Ballycotton, County Cork, Ireland
	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
	Michael K. Reiter , Kenneth P. Birman , Robbert van Renesse, A security architecture for fault-tolerant systems, ACM Transactions on Computer Systems (TOCS), v.12 n.4, p.340-371, Nov. 1994
	Alec Yasinsac, An environment for security protocol intrusion detection, Journal of Computer Security, v.10 n.1-2, p.177-188, 2002
	K. H. Cheung , J. Mišic, On virtual private networks security design issues, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.38 n.2, p.165-179, 5 February 2002
	Mirosław Kurkowski , Witold Mac´ków, Using backward strategy to the Needham-Schroeder public key protocol verification, Artificial intelligence and security in computing systems, Kluwer Academic Publishers, Norwell, MA, 2003
	Susan Pancho, Paradigm shifts in protocol analysis, Proceedings of the 1999 workshop on New security paradigms, p.70-79, September 22-24, 1999, Caledon Hills, Ontario, Canada
	Jang Ho Lee , Atul Prakash , Trent Jaeger , Gwobaw Wu, Supporting multi-user, multi-applet workspaces in CBE, Proceedings of the 1996 ACM conference on Computer supported cooperative work, p.344-353, November 16-20, 1996, Boston, Massachusetts, United States
	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
	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
	Michael Backes , Birgit Pfitzmann , Michael Waidner, A composable cryptographic library with nested operations, Proceedings of the 10th ACM conference on Computer and communications security, October 27-30, 2003, Washington D.C., USA
	Stéphanie Delaune , Florent Jacquemard, A decision procedure for the verification of security protocols with explicit destructors, Proceedings of the 11th ACM conference on Computer and communications security, October 25-29, 2004, Washington DC, USA
	Li Gong, Efficient network authentication protocols: lower bounds and optimal implementations, Distributed Computing, v.9 n.3, p.131-145, December 1995
	Martín Abadi , Cédric Fournet, Private authentication, Theoretical Computer Science, v.322 n.3, p.427-476, 6 September 2004
	Alec Yasinsac , Justin Childs, Formal analysis of modern security protocols, Information Sciences—Informatics and Computer Science: An International Journal, v.171 n.1-3, p.189-211, 4 March 2005
	Bruno Blanchet, Security protocols: from linear to classical logic by abstract interpretation, Information Processing Letters, v.95 n.5, p.473-479, 15 September 2005
	David Lipton, Logical authentication method, ACM SIGSAC Review, v.4 n.2, p.9-20, Spring 1986
	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
	Robert Dawson , Colin Boyd , Ed Dawson , Juan Manuel González Nieto, SKMA: a key management architecture for SCADA systems, Proceedings of the 2006 Australasian workshops on Grid computing and e-research, p.183-192, January 16-19, 2006, Hobart, Tasmania, Australia
	Ji Ma , Mehmet A. Orgun, Formalising theories of trust for authentication protocols, Information Systems Frontiers, v.10 n.1, p.19-32, March 2008
	B. Clifford Neuman , Stuart G. Stubblebine, A note on the use of timestamps as nonces, ACM SIGOPS Operating Systems Review, v.27 n.2, p.10-14, April 1993
	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
	Randall J. Atkinson , Daniel L. McDonald , Bao G. Phan , Craig W. Metz , Kenneth C. Chin, Implementation of IPv6 in 4.4 BSD, Proceedings of the Annual Technical Conference on USENIX 1996 Annual Technical Conference, p.10-10, January 22-26, 1996, San Diego, CA
	Qingfeng Chen , Chengqi Zhang , Shichao Zhang, ENDL: A Logical Framework for Verifying Secure Transaction Protocols, Knowledge and Information Systems, v.7 n.1, p.84-109, January 2005
	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
	Don Davis , Daniel E. Geer, Kerberos security with clocks adrift, Proceedings of the 5th conference on USENIX UNIX Security Symposium, p.4-4, June 05-07, 1995, Salt Lake City, Utah
	Jeong Ok Kwon , Ik Rae Jeong , Kouichi Sakurai , Dong Hoon Lee, Efficient verifier-based password-authenticated key exchange in the three-party setting, Computer Standards & Interfaces, v.29 n.5, p.513-520, July, 2007
	Véronique Cortier , Stéphanie Delaune , Pascal Lafourcade, A survey of algebraic properties used in cryptographic protocols, Journal of Computer Security, v.14 n.1, p.1-43, January 2006
	Taekyoung Kwon , Jooseok Song, Clarifying straight replays and forced delays, ACM SIGOPS Operating Systems Review, v.33 n.1, p.47-52, Jan. 1999
	Shouhuai Xu , Gendu Zhang , Hong Zhu, On the properties of cryptographic protocols and the weaknesses of the BAN-like logics, ACM SIGOPS Operating Systems Review, v.31 n.4, p.12-23, Oct. 1997
	A. Kehne , J. Schönwälder , H. Langendörfer, A nonce-based protocol for multiple authentications, ACM SIGOPS Operating Systems Review, v.26 n.4, p.84-89, Oct. 1992
	R M Needham , M D Schroeder, Authentication revisited, ACM SIGOPS Operating Systems Review, v.21 n.1, p.7-7, Jan. 1987
	Dave Otway , Owen Rees, Efficient and timely mutual authentication, ACM SIGOPS Operating Systems Review, v.21 n.1, p.8-10, Jan. 1987
	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
	Michael Steiner , Gene Tsudik , Michael Waidner, Refinement and extension of encrypted key exchange, ACM SIGOPS Operating Systems Review, v.29 n.3, p.22-30, July 1995
	A. R. Prieto , J. G. Tomas, A model to order the encryption algorithms according to their quality, ACM SIGCOMM Computer Communication Review, v.17 n.3, p.30-47, July/Aug. 1987
	Paul F. Syverson, A new look at an old protocol, ACM SIGOPS Operating Systems Review, v.30 n.3, p.1-4, July 1996
	Armin Liebl, Authentication in distributed systems: a bibliography, ACM SIGOPS Operating Systems Review, v.27 n.4, p.31-41, Oct. 1993
	Ulf Carlsen, Optimal privacy and authentication on a portable communications system, ACM SIGOPS Operating Systems Review, v.28 n.3, p.16-23, July 1994
	Li Gong, A security risk of depending on synchronized clocks, ACM SIGOPS Operating Systems Review, v.26 n.1, p.49-53, Jan. 1992
	Carlos Olarte , Frank D. Valencia, The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security, Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming, July 15-17, 2008, Valencia, Spain
	Tzong-Chen Wu , Thsia-Tzu Huang , Chien-Lung Hsu , Kuo-Yu Tsai, Recursive protocol for group-oriented authentication with key distribution, Journal of Systems and Software, v.81 n.7, p.1227-1239, July, 2008
	Ti Zhou , Mengjun Li , Zhoujun Li , Huowang Chen, Modeling and Verifying Time Sensitive Security Protocols with Constraints, Electronic Notes in Theoretical Computer Science (ENTCS), 212, p.103-118, April, 2008
	J. McDermott , G. Allwein, A formalism for visual security protocol modeling, Journal of Visual Languages and Computing, v.19 n.2, p.153-181, April, 2008
	Junghyun Nam , Juryon Paik , Ung Mo Kim , Dongho Won, Resource-aware protocols for authenticated group key exchange in integrated wired and wireless networks, Information Sciences: an International Journal, v.177 n.23, p.5441-5467, December, 2007
	Jin Wook Byun , Dong Hoon Lee , Jong In Lim, EC2C-PAKA: An efficient client-to-client password-authenticated key agreement, Information Sciences: an International Journal, v.177 n.19, p.3995-4013, October, 2007
	Jay A. McCarthy , Shriram Krishnamurthi, Minimal backups of cryptographic protocol runs, Proceedings of the 6th ACM workshop on Formal methods in security engineering, p.11-20, October 27-27, 2008, Alexandria, Virginia, USA
	Hongjun Liu , Ping Luo , Daoshun Wang, A distributed expansible authentication model based on Kerberos, Journal of Network and Computer Applications, v.31 n.4, p.472-486, November, 2008
	Manhee Lee , Eun Jung Kim, A Comprehensive Framework for Enhancing Security in InfiniBand Architecture, IEEE Transactions on Parallel and Distributed Systems, v.18 n.10, p.1393-1406, October 2007
	Christian Mueller-Schloer , Neal R. Wagner, The implementation of a cryptography-based secure office system, Proceedings of the June 7-10, 1982, national computer conference, June 07-10, 1982, Houston, Texas
	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
	Bruno Blanchet, Automatic verification of correspondences for security protocols, Journal of Computer Security, v.17 n.4, p.363-434, December 2009