A Simulation-Based Treatment of Authenticated Message Exchange

zum Volltext (413 kB)   ZIP
Beteiligte Person(en) / Institution(en)Autor :
DatumErschienen :
  • August 2009
Seitenbereich35 S.

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.
Statische URLhttps://www.uni-kiel.de/journals/receive/jportal_jparticle_00000088
 
URN:NBNurn:nbn:de:101:1-201203133371
IDNummer des Berichts :
  • TR_0917