Three systems for cryptographic protocol analysis
type: Item
instance of: scholarly article
title: Three systems for cryptographic protocol analysis
zbMATH Open document ID: 0814.94011
DOI: 10.1007/BF00197942
published in: Journal of Cryptology
publication date: 1994-08-17T00:00:00Z
Mathematics Subject Classification ID: 94A60
Mathematics Subject Classification ID: 68P25
Mathematics Subject Classification ID: 68W10
zbMATH DE Number: 614350
zbMATH Keywords: interrogator
zbMATH Keywords: narrower
zbMATH Keywords: Inatest
zbMATH Keywords: Ina Jo
zbMATH Keywords: specification
zbMATH Keywords: verification
zbMATH Keywords: security
zbMATH Keywords: cryptographic protocols
zbMATH Keywords: key distribution
zbMATH Keywords: authentication
zbMATH Keywords: state-transition
author: Richard A. Kemmerer
author: Catherine Meadows
author: Jon Millen
MaRDI profile type: Publication
cites work: A semantics for a logic of authentication (extended abstract)
cites work: Q3999200
cites work: Q3919057
cites work: On the security of public key protocols
cites work: The Knowledge Complexity of Interactive Proof Systems
cites work: Using encryption for authentication in large networks of computers
cites work: Q3696486
cites work: Separating the specification and implementation phases in cryptology
cites work: Unification in a combination of equational theories: an efficient algorithm
description: scientific article; zbMATH DE number 614350