You are looking at a specific version 20090730:042614 of this paper.
See the latest version.
Paper 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.
Metadata
- Available format(s)
- 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