A Simulation-Based Treatment of Authenticated Message Exchange

Klaas Ole Kuertz; Henning Schnoor; Thomas Wilke

Paper 2009/368

A Simulation-Based Treatment of Authenticated Message Exchange

Klaas Ole Kuertz, 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.

Metadata

Available format(s): PDF
Category: Cryptographic protocols
Publication info: Published elsewhere. a short version will be published in ASIAN 2009
Keywords: authenticated message exchange simulation-based security
Contact author(s): kuertz @ ti informatik uni-kiel de
History: 2009-07-30: received
Short URL: https://ia.cr/2009/368
License: CC BY

BibTeX

@misc{cryptoeprint:2009/368,
      author = {Klaas Ole Kuertz and Henning Schnoor and Thomas Wilke},
      title = {A Simulation-Based Treatment of Authenticated Message Exchange},
      howpublished = {Cryptology {ePrint} Archive, Paper 2009/368},
      year = {2009},
      url = {https://eprint.iacr.org/2009/368}
}