eprint.iacr.org will be offline for approximately an hour
for routine maintenance at 11pm UTC on Tuesday, April 16. We lost some data between
April 12 and April 14, and some authors have been notified that they need to resubmit their papers.
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
-
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}
}
