Paper Info
Title
The Scope of a Logic of Authentication.
Abstract
this report hashelped us in analyzing certain aspects of authentication protocols. Our logicconsists of a simple set of inference rules, in a notation designed specificallyfor the study of authentication protocols.
Year
Venue
Keywords
1989
Distributed Computing And Cryptography
authentication protocol,inference rule
Field
DocType
Citations 
Wide Mouth Frog protocol,Lightweight Extensible Authentication Protocol,Challenge-Handshake Authentication Protocol,Generic Bootstrapping Architecture,Challenge–response authentication,Computer security,Computer science,Otway–Rees protocol,Data Authentication Algorithm,Authentication protocol
Conference
5
PageRank 
References 
Authors
0.58
8
3
Name
Order
Citations
PageRank
Michael Burrows150.58
Martín Abadi2120741324.31
Roger M. Needham346482075.99