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