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)

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

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)