ویراساینس.
سند علمی

Generic Compilers for Authenticated Key Exchange

Tibor Jager, Florian Kohlar, Sven Schäge, Jörg Schwenk

چکیده

So far, all solutions proposed for authenticated key agreement combine key agreement and authentication into a single cryptographic protocol. However, in many important application scenarios, key agreement and entity authentication are clearly separated protocols. This fact enables efficient attacks on the näıve combination of these protocols. In this paper, we propose new compilers for two-party key agreement and authentication, which are provably secure in the standard Bellare-Rogaway model. The constructions are generic: key agreement is executed first and results (without intervention of the adversary) in a secret session key on both sides. This key (or a derived key) is handed over, together with a transcript of all key exchange messages, to the authentication protocol, where it is combined with the random challenge(s) exchanged during authentication.

اسناد مشابه

  • A Generic Multifactor Authenticated Key Exchange with Physical Unclonable Function

    مقاله‌ی دسترسی آزاد۲۰۱۹Security and Communication NetworksJin WookByun

  • A Lightweight Generic Compiler for Authenticated Key Exchange from Non-interactive Key Exchange with Auxiliary Input

    سند علمی۲۰۱۶I. J. Network SecurityZheng Yang, Chao Liu, Wanping Liu, Song Luo

    We introduce a new lightweight generic compiler that is able to transform any passively forward secure twomessage key exchange (KE) protocols into authenticated key exchange (AKE) protocols with security in the presence of active adversaries who can reveal critical session specif

  • New Modular Compilers for Authenticated Key Exchange

    سند علمی۲۰۱۴ACNSYong Li, Sven Schäge, Zheng Yang, Christoph Bader

    We present two new compilers that generically turn passively secure key exchange protocols (KE) into authenticated key exchange protocols (AKE) where security also holds in the presence of active adversaries. Security is shown in a very strong security model where the adversary i

  • One-Round Password-Based Authenticated Key Exchange

    سند علمی۲۰۱۰IACR Cryptology ePrint ArchiveJonathan Katz, Vinod Vaikuntanathan

    We show a general framework for constructing password-based authenticated key exchange protocols with optimal round complexity — one message per party, sent simultaneously — in the standard model, assuming the existence of a common reference string. When our framework is instanti

  • New Approaches to Password Authenticated Key Exchange Based on RSA

    سند علمی۲۰۰۴IACR Cryptology ePrint ArchiveMuxiang Zhang

    We investigate eÆcient protocols for password-authenticated key exchange based on the RSA public-key cryptosystem. To date, most of the published protocols for password-authenticated key exchange were based on DiÆe-Hellman key exchange. It seems diÆcult to design eÆcient password

  • Unilaterally-Authenticated Key Exchange

    سند علمی۲۰۱۷Financial CryptographyYevgeniy Dodis, Dario Fiore

    Key Exchange (KE), which enables two parties (e.g., a client and a server) to securely establish a common private key while communicating over an insecure channel, is one of the most fundamental cryptographic primitives. In this work, we address the setting of unilaterally-authen