Modular proofs for key exchange: rigorous optimizations in the Canetti-Krawczyk model

DOI10.1007/S00200-005-0185-9MaRDI QIDQ2502168zbMATH OpenOpenAlexFDO

Authors Yvonne Hitchcock, Colin A. Boyd, Juan Manuel González Nieto

Publication date 12 September 2006

Published in Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00200-005-0185-9

zbMATH Keywords

Canetti-Krawczyk modelKey exchange protocolsSecurity proofs

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2043319
• Information Security and Cryptology - ICISC 2005
• A security proof for key exchange protocols
• Stronger Security of Authenticated Key Exchange
• Information Security and Privacy

Cites work

• Applied Cryptography and Network Security
• Authenticated key exchange secure against dictionary attacks
• scientific article; zbMATH DE number 1722690 (Why is no real title available?)
• scientific article; zbMATH DE number 5009198 (Why is no real title available?)
• scientific article; zbMATH DE number 1263181 (Why is no real title available?)
• scientific article; zbMATH DE number 1304129 (Why is no real title available?)
• scientific article; zbMATH DE number 1024060 (Why is no real title available?)
• scientific article; zbMATH DE number 2043319 (Why is no real title available?)
• scientific article; zbMATH DE number 1775427 (Why is no real title available?)
• scientific article; zbMATH DE number 2086715 (Why is no real title available?)
• Progress in Cryptology - INDOCRYPT 2003
• Universally composable two-party and multi-party secure computation

Cited in

(6)

• A security proof for key exchange protocols
• scientific article; zbMATH DE number 2043319 (Why is no real title available?)
• Information Security and Privacy
• Information Security and Privacy
• Modular design of KEM-based authenticated key exchange
• Security extension for the Canetti-Krawczyk model in identity-based systems

This page was built for publication: Modular proofs for key exchange: rigorous optimizations in the Canetti-Krawczyk model

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