A modular approach to the design and analysis of authentication and key exchange protocols (extended abstract)

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A modular approach to the design and analysis of authentication and key exchange protocols (extended abstract)

Full text

Pdf (1.61 MB)

Source

Annual ACM Symposium on Theory of Computing archive
Proceedings of the thirtieth annual ACM symposium on Theory of computing table of contents

Dallas, Texas, United States

Pages: 419 - 428

Year of Publication: 1998

ISBN:0-89791-962-9

Authors

Mihir Bellare	Department of Computer Science & Engineering, Mail Code 0114, University of California at San Diego, 9500 Gilman Drive, La Jolla, CA
Ran Canetti	IBM T.J. Watson Research Center, PO Box 704, Yorktown Heights, New York
Hugo Krawczyk	Department of Electrical Engineering, Technion, Haifa 32000, Israel and IBM T.J. Watson Research Center, New York

Sponsor

SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 21, Downloads (12 Months): 155, Citation Count: 36

Additional Information:

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/276698.276854 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.

	Bea	Donald Beaver, Foundations of Secure Interactive Computing, Proceedings of the 11th Annual International Cryptology Conference on Advances in Cryptology, p.377-391, August 11-15, 1991
	BCK	1%I. BELLARE, R. CANETTI AND H. KaAWCZYK, "A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols", Available at http://w,r~-cse.uc~d.edu/users/mihir and at the Theow of Cryptography Libra.,5; http://theory.lcs.mit.edu/'tcryptol, March 1998.
	BPRR	1%I. BELLARE, E. PETIL~NK, C. RACKOFF AND P. ROG- AV,'AY, "Authenticated key exchange in the public key model," 1995-96.
	BR1	Mihir Bellare , Phillip Rogaway, Entity authentication and key distribution, Proceedings of the 13th annual international cryptology conference on Advances in cryptology, p.232-249, January 1994, Santa Barbara, California, United States
	BR2	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]
	BlMe	Simon Blake-Wilson , Alfred Menezes, Entity Authentication and Authenticated Key Transport Protocols Employing Asymmetric Techniques, Proceedings of the 5th International Workshop on Security Protocols, p.137-158, April 07-09, 1997
	BJM	Simon Blake-Wilson , Don Johnson , Alfred Menezes, Key Agreement Protocols and Their Security Analysis, Proceedings of the 6th IMA International Conference on Cryptography and Coding, p.30-45, December 17-19, 1997
	BCG	Michael Ben-Or , Ran Canetti , Oded Goldreich, Asynchronous secure computation, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing, p.52-61, May 16-18, 1993, San Diego, California, United States [doi>10.1145/167088.167109]
	BGW	Michael Ben-Or , Shafi Goldwasser , Avi Wigderson, Completeness theorems for non-cryptographic fault-tolerant distributed computation, Proceedings of the twentieth annual ACM symposium on Theory of computing, p.1-10, May 02-04, 1988, Chicago, Illinois, United States [doi>10.1145/62212.62213]
	BGH+	R. Bin. D, I. Goem., A. H~.RZnERO, P. JANSEN, S. KUT- TEN, R. MOLVA Arid M. YVNC, "Systematic design of two-party authentication protocols," CRYPTO '91.
	BAN	1%I. Bv~mows, 1%1. ABADI AND R. N~.EDHAM, "A logic for authentication," DEC Systems Research Center Technical Report 39, February 1990. Earlier versions in Proceedings of the Second Conference on Theoreticzl Aspects of Reasoning about Knowledge, 1988, and Proceedings of the Twelfth ACM Symposium on Operating Systems Principles, 1989.
	Ca1	R. CANr. T'n, "Modular Composition of Secure Multiparty Protocols", Ax~ilable at the Theory of Cryptography Librars; http://theory.lcs.mi~.edu/ tcryptol, 1998.
	Ca2	Ran Canetti, Towards Realizing Random Oracles: Hash Functions That Hide All Partial Information, Proceedings of the 17th Annual International Cryptology Conference on Advances in Cryptology, p.455-469, August 17-21, 1997
	CFGN	Ran Canetti , Uri Feige , Oded Goldreich , Moni Naor, Adaptively secure multi-party computation, Proceedings of the twenty-eighth annual ACM symposium on Theory of computing, p.639-648, May 22-24, 1996, Philadelphia, Pennsylvania, United States [doi>10.1145/237814.238015]
	CCD	David Chaum , Claude Crépeau , Ivan Damgard, Multiparty unconditionally secure protocols, Proceedings of the twentieth annual ACM symposium on Theory of computing, p.11-19, May 02-04, 1988, Chicago, Illinois, United States [doi>10.1145/62212.62214]
	DH	W. Dmrm AND M. HELLMAN, "New directions in cryptography,'' iEEE Trans. Into. Theo,y iT-22, November 1976, pp. 644-654.
	DOW	Whitfield Diffie , Paul C. Van Oorschot , Michael J. Wiener, Authentication and authenticated key exchanges, Designs, Codes and Cryptography, v.2 n.2, p.107-125, June 1992 [doi>10.1007/BF00124891]
	DDN	D. DOLP. V, C. DWORK AND M. NAon, "Non-malleable cryptography", TR CS95-27, Weizmann Institute. Preliminary version in Prec. of the 23rd ACM STOC, ACM, 1991.
	GMW	O. Goldreich , S. Micali , A. Wigderson, How to play ANY mental game, Proceedings of the nineteenth annual ACM conference on Theory of computing, p.218-229, January 1987, New York, New York, United States [doi>10.1145/28395.28420]
	GMR	Shafi Goldwasser , Silvio Micali , Ronald L. Rivest, A digital signature scheme secure against adaptive chosen-message attacks, SIAM Journal on Computing, v.17 n.2, p.281-308, April 1988 [doi>10.1137/0217017]
	ISO	ISO/IEC IS 9798-3, "Entity authentication mcchanism~ --- Part 3: Entity authentication using asymmetric techniques'', 1993.
	HC	D. HARKINS AND D. CArmEL, ed., "The resolution of ISAKMP with Oakle)%" lnternet draft, draft-ietf-ipsec-isakmp-oakley-05.txt, Nov. 1997.
	Kra	H. Krawczyk, SKEME: a versatile secure key exchange mechanism for Internet, Proceedings of the 1996 Symposium on Network and Distributed System Security (SNDSS '96), p.114, February 22-23, 1996
	Luc	Stefan Lucks, Open Key Exchange: How to Defeat Dictionary Attacks Without Encrypting Public Keys, Proceedings of the 5th International Workshop on Security Protocols, p.79-90, April 07-09, 1997
	MVV	Alfred J. Menezes , Scott A. Vanstone , Paul C. Van Oorschot, Handbook of Applied Cryptography, CRC Press, Inc., Boca Raton, FL, 1996
	MR	S. MIOALI AND P. ROGAWAY, "Secure Computation", Manuscript, 1992. Preliminary version in CRYPTO '91.
	NR	M. Nxoa AND O. R~IN(~OLD, "Efficient cryptographlc primitives based on the decisional Diffie-He!lman assumption'', Prec. of the 38th IEEE FOCS, IEEE, 1997.
	NY	M. Naor , M. Yung, Public-key cryptosystems provably secure against chosen ciphertext attacks, Proceedings of the twenty-second annual ACM symposium on Theory of computing, p.427-437, May 13-17, 1990, Baltimore, Maryland, United States [doi>10.1145/100216.100273]
	NS	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]
	Ra	Charles Rackoff, Some definitions, protocols and proofs about secure authentication, Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research, November 09-12, 1992, Toronto, Ontario, Canada
	SR	V. SHOUP AND A. RUmN. Session key distribution using smart cards. EUROCRYPT '96.
	RS	Charles Rackoff , Daniel R. Simon, Non-Interactive Zero-Knowledge Proof of Knowledge and Chosen Ciphertext Attack, Proceedings of the 11th Annual International Cryptology Conference on Advances in Cryptology, p.433-444, August 11-15, 1991
	SNS	J. STErnER, C. NEWMAN AND J. SCmLr. Ert, "Kerbero:t: an authentication service for open network systems," Proceedings of the USENIX Winter Conferenco, 1988, pp. 191-202.
	Y	A. YAO, Protocols for Secure Computation, In Prec, 23th Annual Syrup. on Foundations of Computer Sci. once, pages 160-164. IEEE, 1982.

CITED BY 36

	Martín Abadi , Cédric Fournet , Georges Gonthier, Authentication primitives and their compilation, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.302-315, January 19-21, 2000, Boston, MA, USA
	Shai Halevi , Hugo Krawczyk, Public-key cryptography and password protocols, Proceedings of the 5th ACM conference on Computer and communications security, p.122-131, November 02-05, 1998, San Francisco, California, United States
	Giuseppe Ateniese , Michael Steiner , Gene Tsudik, Authenticated group key agreement and friends, Proceedings of the 5th ACM conference on Computer and communications security, p.17-26, November 02-05, 1998, San Francisco, California, United States
	Yiu Shing Terry Tin , Colin Boyd , Juanma Gonzalez Nieto, Provably secure key exchange: an engineering approach, Proceedings of the Australasian information security workshop conference on ACSW frontiers 2003, p.97-104, February 01, 2003, Adelaide, Australia
	Emmanuel Bresson , Olivier Chevassut , David Pointcheval , Jean-Jacques Quisquater, Provably authenticated group Diffie-Hellman key exchange, Proceedings of the 8th ACM conference on Computer and Communications Security, November 05-08, 2001, Philadelphia, PA, USA
	Secure password-based cipher suite for TLS, ACM Transactions on Information and System Security (TISSEC), v.4 n.2, p.134-157, May 2001
	Birgit Pfitzmann , Michael Waidner, Composition and integrity preservation of secure reactive systems, Proceedings of the 7th ACM conference on Computer and communications security, p.245-254, November 01-04, 2000, Athens, Greece
	Shai Halevi , Hugo Krawczyk, Public-key cryptography and password protocols, ACM Transactions on Information and System Security (TISSEC), v.2 n.3, p.230-268, Aug. 1999
	Christian Cachin , Klaus Kursawe , Victor Shoup, Random oracles in constantipole: practical asynchronous Byzantine agreement using cryptography (extended abstract), Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing, p.123-132, July 16-19, 2000, Portland, Oregon, United States
	Srdjan Čapkun , Mario Čagalj, Integrity regions: authentication through presence in wireless networks, Proceedings of the 5th ACM workshop on Wireless security, September 29-29, 2006, Los Angeles, California
	Oded Goldreich, Cryptography and cryptographic protocols, Distributed Computing, v.16 n.2-3, p.177-199, September 2003
	Levente Buttyán , István Vajda, Towards provable security for ad hoc routing protocols, Proceedings of the 2nd ACM workshop on Security of ad hoc and sensor networks, October 25-25, 2004, Washington DC, USA
	Mario Di Raimondo , Rosario Gennaro, New approaches for deniable authentication, Proceedings of the 12th ACM conference on Computer and communications security, November 07-11, 2005, Alexandria, VA, USA
	Prateek Gupta , Vitaly Shmatikov, Towards computationally sound symbolic analysis of key exchange protocols, Proceedings of the 2005 ACM workshop on Formal methods in security engineering, November 11-11, 2005, Fairfax, VA, USA
	Mario Di Raimondo , Rosario Gennaro , Hugo Krawczyk, Secure off-the-record messaging, Proceedings of the 2005 ACM workshop on Privacy in the electronic society, November 07-07, 2005, Alexandria, VA, USA
	Jonathan Katz , Ji Sun Shin, Modeling insider attacks on group key-exchange protocols, Proceedings of the 12th ACM conference on Computer and communications security, November 07-11, 2005, Alexandria, VA, USA
	Anupam Datta , Ante Derek , John C. Mitchell , Dusko Pavlovic, A derivation system and compositional logic for security protocols, Journal of Computer Security, v.13 n.3, p.423-482, May 2005
	Gergely Ács , Levente Buttyán , István Vajda, Modelling adversaries and security objectives for routing protocols in wireless sensor networks, Proceedings of the fourth ACM workshop on Security of ad hoc and sensor networks, October 30-30, 2006, Alexandria, Virginia, USA
	Oded Goldreich, Foundations of cryptography: a primer, Foundations and Trends® in Theoretical Computer Science, v.1 n.1, p.1-116, April 2005
	Mario Di Raimondo , Rosario Gennaro , Hugo Krawczyk, Deniable authentication and key exchange, Proceedings of the 13th ACM conference on Computer and communications security, October 30-November 03, 2006, Alexandria, Virginia, USA
	Robert W. Zhu , Guomin Yang , Duncan S. Wong, An efficient identity-based key exchange protocol with KGS forward secrecy for low-power devices, Theoretical Computer Science, v.378 n.2, p.198-207, June, 2007
	Emmanuel Bresson , Olivier Chevassut , David Pointcheval, Provably secure authenticated group Diffie-Hellman key exchange, ACM Transactions on Information and System Security (TISSEC), v.10 n.3, p.10-es, July 2007
	M. Choudary Gorantla , Colin Boyd , Juan Manuel González Nieto, ID-based one-pass authenticated key establishment, Proceedings of the sixth Australasian conference on Information security, January 01-01, 2008, Wollongong, NSW, Australia
	L. H. Nguyen , A. W. Roscoe, Authenticating ad hoc networks by comparison of short digests, Information and Computation, v.206 n.2-4, p.250-271, February, 2008
	Reihaneh Safavi-Naini , Shaoquan Jiang, Non-interactive conference key distribution and its applications, Proceedings of the 2008 ACM symposium on Information, computer and communications security, March 18-20, 2008, Tokyo, Japan
	Michael Backes , Birgit Pfitzmann , Michael Waidner, The reactive simulatability (RSIM) framework for asynchronous systems, Information and Computation, v.205 n.12, p.1685-1720, December, 2007
	C. J. Cao , J. F. Ma, Identity-based constant round group key exchange protocol via secret-share, WSEAS TRANSACTIONS on SYSTEMS, v.7 n.1, p.7-16, January 2008
	Gergely Acs , Levente Buttyan , Istvan Vajda, Provably Secure On-Demand Source Routing in Mobile Ad Hoc Networks, IEEE Transactions on Mobile Computing, v.5 n.11, p.1533-1546, November 2006
	Kim-Kwang Raymond Choo, On the Security Analysis of Lee, Hwang & Lee (2004) and Song & Kim (2000) Key Exchange / Agreement Protocols, Informatica, v.17 n.4, p.467-480, December 2006
	Chunjie Cao , Chao Yang , Jianfeng Ma , Sangjae Moon, Constructing UC secure and constant-round group key exchange protocols via secret sharing, EURASIP Journal on Wireless Communications and Networking, v.2008 n.5, p.1-9, January 2008
	Guomin Yang , Duncan S. Wong , Huaxiong Wang , Xiaotie Deng, Two-factor mutual authentication based on smart cards and passwords, Journal of Computer and System Sciences, v.74 n.7, p.1160-1172, November, 2008
	Bin Wang , ZhaoXia Song, A non-interactive deniable authentication scheme based on designated verifier proofs, Information Sciences: an International Journal, v.179 n.6, p.858-865, March, 2009
	Colin Boyd , Yvonne Cliff , Juan M. Gonzalez Nieto , Kenneth G. Paterson, One-round key exchange in the standard model, International Journal of Applied Cryptography, v.1 n.3, p.181-199, February 2009
	Kenneth G. Paterson , Sriramkrishnan Srinivasan, On the relations between non-interactive key distribution, identity-based encryption and trapdoor discrete log groups, Designs, Codes and Cryptography, v.52 n.2, p.219-241, August 2009
	SeongHan Shin , Kazukuni Kobara , Hideki Imai, A Secure Construction for Threshold Anonymous Password-Authenticated Key Exchange, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, v.E91-A n.11, p.3312-3324, November 2008
	Kazukuni Kobara , Seonghan Shin , Mario Strefler, Partnership in key exchange protocols, Proceedings of the 4th International Symposium on Information, Computer, and Communications Security, March 10-12, 2009, Sydney, Australia