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

DOI10.1007/BF00196790zbMath0726.68028MaRDI QIDQ802867

Einar Snekkenes, Klaus Gaarder

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)

Related Items (2)

Abstract Interpretation for Proving Secrecy Properties in Security Protocols ⋮ A new logic for electronic commerce protocols

Cites Work

• Unnamed Item
• Zero-knowledge proofs of identity
• The Knowledge Complexity of Interactive Proof Systems
• New directions in cryptography
• A method for obtaining digital signatures and public-key cryptosystems
• A logic of authentication
• An axiomatic basis for computer programming

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