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 exchangesimulation-based security
Contact author(s)
kuertz @ ti informatik uni-kiel de
History
2009-07-30: received
Short URL
https://ia.cr/2009/368
License
Creative Commons Attribution
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},
      note = {\url{https://eprint.iacr.org/2009/368}},
      url = {https://eprint.iacr.org/2009/368}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.