Strongly secure one round authenticated key exchange protocol with perfect forward security

DOI10.1007/978-3-642-24316-5_28MaRDI QIDQ3092375zbMATH OpenOpenAlexFDO

Authors Hai Huang

Publication date 16 September 2011

Published in Provable Security (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-24316-5_28

zbMATH Keywords

Authenticated key exchangeeCK modelPerfect forward securityProvably secure

Mathematics Subject Classification ID

Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Applied Cryptography and Network Security
• Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal
• On Forward Secrecy in One-Round Key Exchange
• One-round key exchange with strong security: an efficient and generic construction in the standard model
• An eCK-secure authenticated key exchange protocol without random oracles

Cites work

• A New Security Model for Authenticated Key Agreement
• Advances in Cryptology – CRYPTO 2004
• HMQV: A High-Performance Secure Diffie-Hellman Protocol
• scientific article; zbMATH DE number 2081084 (Why is no real title available?)
• Obtaining a secure and efficient key agreement protocol from (H)MQV and NAXOS
• Okamoto-Tanaka Revisited: Fully Authenticated Diffie-Hellman with Minimal Overhead
• Stronger Security of Authenticated Key Exchange

Cited in

(15)

• Session-StateReveal is stronger than eCKs EphemeralKeyReveal: using automatic analysis to attack the NAXOS protocol
• One-round key exchange with strong security: an efficient and generic construction in the standard model
• Mind the gap: modular machine-checked proofs of one-round key exchange protocols
• Characterization of strongly secure authenticated key exchanges without NAXOS technique
• On Forward Secrecy in One-Round Key Exchange
• Forward-secure authenticated symmetric key exchange protocol: new security model and secure construction
• An eCK-secure authenticated key exchange protocol without random oracles
• One-round identity-based key exchange with perfect forward security
• Applied Cryptography and Network Security
• One-round authenticated key exchange with strong forward secrecy in the standard model against constrained adversary
• 2-pass key exchange protocols from CPA-secure KEM
• \textsf{TOPAS} 2-pass key exchange with full perfect forward secrecy and optimal communication complexity
• Symmetric-key authenticated key exchange (SAKE) with perfect forward secrecy
• Perfect forward secure identity-based authenticated key agreement protocol in the escrow mode
• FORSAKES: a forward-secure authenticated key exchange protocol based on symmetric key-evolving schemes

Describes a project that uses

Uses Software

• HMQV
• NAXOS

This page was built for publication: Strongly secure one round authenticated key exchange protocol with perfect forward security

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3092375)