Key Substitution in the Symbolic Analysis of Cryptographic Protocols

DOI10.1007/978-3-540-77050-3_10MaRDI QIDQ5458828zbMATH OpenOpenAlexFDO

Authors Yannick Chevalier, Mounira Kourjieh

Publication date 24 April 2008

Published in FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-77050-3_10

Mathematics Subject Classification ID

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

Recommendations

• Verifying Cryptographic Protocols with Subterms Constraints
• Theory of Cryptography
• Security of the SM2 signature scheme against generalized key substitution attacks
• Generalized key substitution attacks on message recovery signatures
• scientific article; zbMATH DE number 1759624

Cites work

• scientific article; zbMATH DE number 1186874 (Why is no real title available?)
• scientific article; zbMATH DE number 3688776 (Why is no real title available?)
• scientific article; zbMATH DE number 1341618 (Why is no real title available?)
• scientific article; zbMATH DE number 1341873 (Why is no real title available?)
• scientific article; zbMATH DE number 1973985 (Why is no real title available?)
• A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks
• Automata, Languages and Programming
• Digital Signatures Do Not Guarantee Exclusive Ownership
• Intruders with Caps
• Key Substitution in the Symbolic Analysis of Cryptographic Protocols
• On the symbolic reduction of processes with cryptographic functions.
• Security of signature schemes in a multi-user setting
• The NRL Protocol Analyzer: An Overview
• Towards an Automatic Analysis of Web Service Security

Cited in

(2)

• Computing knowledge in security protocols under convergent equational theories
• Key Substitution in the Symbolic Analysis of Cryptographic Protocols

This page was built for publication: Key Substitution in the Symbolic Analysis of Cryptographic Protocols

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