Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol
type: Item
instance of: scholarly article
title: Applying a formal analysis technique to the CCITT X.509 strong two-way authentication protocol
zbMATH Open document ID: 0726.68028
DOI: 10.1007/BF00196790
author: Klaus Gaarder
author: Einar Snekkenes
published in: Journal of Cryptology
publication date: 1991-01-01T00:00:00Z
Mathematics Subject Classification ID: 68P25
zbMATH DE Number: 4199618
zbMATH Keywords: authentication protocol
zbMATH Keywords: public key cryptography
MaRDI profile type: Publication
cites work: Q5203714
cites work: A logic of authentication
cites work: New directions in cryptography
cites work: Zero-knowledge proofs of identity
cites work: The Knowledge Complexity of Interactive Proof Systems
cites work: An axiomatic basis for computer programming
cites work: A method for obtaining digital signatures and public-key cryptosystems
description: scientific article; zbMATH DE number 4199618