@Misc{macau_mods_00001843, author = {K{\"u}rtz, Klaas Ole and Schnoor, Henning and Wilke, Thomas}, title = {A Simulation-Based Treatment of Authenticated Message Exchange}, year = {1992}, publisher = {Institut f{\"u}r Informatik}, address = {Kiel}, volume = {0917}, 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.}, issn = {2192-6247}, url = {https://macau.uni-kiel.de/receive/macau_mods_00001843}, file = {:https://macau.uni-kiel.de/servlets/MCRFileNodeServlet/macau_derivate_00002994/tr-0917-bericht.pdf:PDF}, language = {en} }