User Tools

Site Tools


A Simulation-Based Treatment of Authenticated Message Exchange (BibTeX)

@TECHREPORT{KuertzSchnoorWilke-eprint-368-2009,
  author      = {Klaas Ole K{\"u}rtz and Henning Schnoor and Thomas Wilke},
  title       = {{A Simulation-Based Treatment of Authenticated Message Exchange}},
  institution = {Cryptology ePrint Archive},
  year        = 2009,
  number      = {2009/368},
  note        = {\url{http://eprint.iacr.org/2009/368/}},
  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.}
}