Paper 2009/368 Original: eprint.iacr.org/2009/368 ↗
A Simulation-Based Treatment of Authenticated Message Exchange
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
- Preprint.
- History
- 2009-07-30: last updated
- 2009-07-30: published
- Short URL
- https://ia.cr/2009/368
- License
- https://creativecommons.org/licenses/by/4.0/
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}
}