PT Unknown
AU Kürtz, KO
   Schnoor, H
   Wilke, T
TI A Simulation-Based Treatment of Authenticated Message Exchange
SE Bericht des Instituts für Informatik
PY 1992
VL 0917
PU Institut für Informatik
WP https://macau.uni-kiel.de/receive/macau_mods_00001843
LA en
SN 2192-6247
AB 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.
PI Kiel
ER