@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}
}