Cryptology ePrint Archive: Report 2009/368

A Simulation-Based Treatment of Authenticated Message Exchange

Klaas Ole Kuertz and Henning Schnoor and Thomas Wilke

Abstract: Simulation-based security notions for cryptographic protocols are regarded as highly desirable, primarily because they admit strong composability and, consequently, a modular design. In this paper, we give a simulation-based security definition for two-round authenticated message exchange and show that a concrete protocol, 2AMEX-1, satisfies our security property, that is, we provide an ideal functionality for two-round authenticated message exchange and show that 2AMEX-1 realizes it securely. To model the involved public-key infrastructure adequately, we use a joint-state approach.

Category / Keywords: cryptographic protocols / authenticated message exchange, simulation-based security

Publication Info: a short version will be published in ASIAN 2009

Date: received 23 Jul 2009, last revised 28 Jul 2009

Contact author: kuertz at ti informatik uni-kiel de

Available formats: PDF | BibTeX Citation

Version: 20090730:042614 (All versions of this report)

Discussion forum: Show discussion | Start new discussion