Analysis of the SSH key exchange protocol

DOI10.1007/978-3-642-25516-8_22MaRDI QIDQ3104707zbMATH OpenOpenAlexFDO

Authors Stephen C. Williams

Publication date 16 December 2011

Published in Cryptography and Coding (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-25516-8_22

zbMATH Keywords

key exchangesecurity proofSSH

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• Plaintext-dependent decryption: a formal security treatment of SSH-CTR
• scientific article; zbMATH DE number 1722690
• scientific article; zbMATH DE number 1775427
• The TLS handshake protocol: A modular analysis
• scientific article; zbMATH DE number 1942418

Cites work

• Authenticated key exchange secure against dictionary attacks
• Breaking and provably repairing the SSH authenticated encryption scheme
• Examining Indistinguishability-Based Proof Models for Key Establishment Protocols
• scientific article; zbMATH DE number 1722690 (Why is no real title available?)
• scientific article; zbMATH DE number 1263181 (Why is no real title available?)
• scientific article; zbMATH DE number 1024060 (Why is no real title available?)
• scientific article; zbMATH DE number 1149909 (Why is no real title available?)
• scientific article; zbMATH DE number 2081072 (Why is no real title available?)
• scientific article; zbMATH DE number 1775427 (Why is no real title available?)
• scientific article; zbMATH DE number 2086716 (Why is no real title available?)
• Key agreement protocols and their security analysis
• Modular Security Proofs for Key Agreement Protocols
• Plaintext-dependent decryption: a formal security treatment of SSH-CTR
• Public Key Cryptography - PKC 2005
• The TLS handshake protocol: A modular analysis

Cited in

(3)

• Distributed SSH key management with proactive RSA threshold signatures
• Breaking and provably repairing the SSH authenticated encryption scheme
• Plaintext-dependent decryption: a formal security treatment of SSH-CTR

This page was built for publication: Analysis of the SSH key exchange protocol

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