Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol

DOI10.1007/BF00196790MaRDI QIDQ802867zbMATHFDO

Authors Klaus Gaarder, Einar Snekkenes

Publication date 1991

Published in Journal of Cryptology (Search for Journal in Brave)

zbMATH Keywords

public key cryptographyauthentication protocol

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Recommendations

• scientific article; zbMATH DE number 4195145
• A logic of authentication
• scientific article; zbMATH DE number 2143936
• scientific article; zbMATH DE number 1149910
• Logic for verifying public-key cryptographic protocols

Cites work

• scientific article; zbMATH DE number 4197466 (Why is no real title available?)
• A logic of authentication
• A method for obtaining digital signatures and public-key cryptosystems
• An axiomatic basis for computer programming
• New directions in cryptography
• The Knowledge Complexity of Interactive Proof Systems
• Zero-knowledge proofs of identity

Cited in

(3)

• A new logic for electronic commerce protocols
• Provable security analysis of FIDO2
• Abstract interpretation for proving secrecy properties in security protocols

This page was built for publication: Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol

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