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

DOI10.1007/BF00196790zbMATH Open0726.68028MaRDI QIDQ802867FDOQ802867

Authors: Klaus Gaarder, Einar Snekkenes 

Publication date: 1991

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

Recommendations

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

zbMATH Keywords

public key cryptographyauthentication protocol

Mathematics Subject Classification ID

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

Cites Work

• A method for obtaining digital signatures and public-key cryptosystems
• New directions in cryptography
• An axiomatic basis for computer programming
• Zero-knowledge proofs of identity
• The Knowledge Complexity of Interactive Proof Systems
• A logic of authentication
• Title not available (Why is that?)

Cited In (3)

• Provable security analysis of FIDO2
• Abstract interpretation for proving secrecy properties in security protocols
• A new logic for electronic commerce 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)