Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Semantics for a Logic of Authentication (Extended Abstract)
 

Summary: A Semantics for a Logic of Authentication
(Extended Abstract)
Mart'in Abadi
Digital Equipment Corporation
Systems Research Center
130 Lytton Avenue
Palo Alto, CA 94301
ma@src.dec.com
Mark R. Tuttle
Digital Equipment Corporation
Cambridge Research Lab
One Kendall Square, Bldg. 700
Cambridge, MA 02139
tuttle@crl.dec.com
Abstract: Burrows, Abadi, and Needham have pro­
posed a logic for the analysis of authentication proto­
cols. It is a logic of belief, with special constructs for
expressing some of the central concepts used in au­
thentication. The logic has revealed many subtleties
and serious errors in published protocols. Unfortu­

  

Source: Abadi, Martín - Department of Computer Science, University of California at Santa Cruz

 

Collections: Computer Technologies and Information Sciences