Examining Indistinguishability-Based Proof Models for Key Establishment Protocols

DOI10.1007/11593447_32MaRDI QIDQ5451092zbMATH OpenOpenAlexFDO

Authors Kim-Kwang Raymond Choo, Yvonne Hitchcock, Colin A. Boyd

Publication date 18 March 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11593447_32

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Information Security and Privacy
• Progress in Cryptology – Mycrypt 2005
• A security proof for key exchange protocols
• Stronger Security of Authenticated Key Exchange
• An Extension to Bellare and Rogaway (1993) Model: Resetting Compromised Long-Term Keys

Cited in

(23)

• Cryptanalysis of a communication-efficient three-party password authenticated key exchange protocol
• Analysis of the SSH key exchange protocol
• Cryptanalysis of simple three-party key exchange protocol (S-3PAKE)
• Strongly secure identity-based authenticated key agreement protocols without bilinear pairings
• Information Security and Privacy
• Traceable Privacy of Recent Provably-Secure RFID Protocols
• FORSAKES: a forward-secure authenticated key exchange protocol based on symmetric key-evolving schemes
• A simple provably secure AKE from the LWE problem
• Security weakness in a three-party pairing-based protocol for password authenticated key exchange
• Progress in Cryptology – Mycrypt 2005
• The TLS handshake protocol: A modular analysis
• Obtaining a secure and efficient key agreement protocol from (H)MQV and NAXOS
• Strong authenticated key exchange with auxiliary inputs
• A Modular Security Analysis of the TLS Handshake Protocol
• Beyond eCK: perfect forward secrecy under actor compromise and ephemeral-key reveal
• Strengthening the security of authenticated key exchange against bad randomness
• Key Establishment Using Signcryption Techniques
• Efficient and Strongly Secure Password-Based Server Aided Key Exchange (Extended Abstract)
• Authenticated confidential channel establishment and the security of TLS-DHE
• A mechanical approach to derive identity-based protocols from Diffie-Hellman-based protocols
• Strongly leakage resilient authenticated key exchange, revisited
• A novel pairing-free certificateless authenticated key agreement protocol with provable security
• Security of a Leakage-Resilient Protocol for Key Establishment and Mutual Authentication

This page was built for publication: Examining Indistinguishability-Based Proof Models for Key Establishment Protocols

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