Paper Info
Title
Authentication: A Practical Study in Belief and Action
Abstract
Questions of belief and action are essential in the analysis of protocols for the authentication of principals in distributed computing systems. In this paper we motivate, set out, and exemplify a logic specifically designed for this analysis; we show how protocols differ subtly with respect to the required initial assumptions of the participants and their final beliefs. Our formalism has enabled us to isolate and express these differences in a way that was not previously possible, and it has drawn attention to features of the protocols of which we were previously unaware. The reasoning about particular protocols has been mechanically verfied. This paper starts with an informal account of the problem, goes on to explain the formalism to be used, and gives examples of its application to real protocols from the literature. The final sections deal with a formal semantics of the logic and conclusions.
Year
Venue
Keywords
1988
TARK
practical study,particular protocol,final belief,real protocol,final sections deal,laboratory,required initial assumption,cambridge university.,informal account,formal semantics
Field
DocType
ISBN
Authentication,Computer science,Theoretical computer science,Artificial intelligence,Formalism (philosophy),Semantics of logic
Conference
0-934613-66-4
Citations 
PageRank 
References 
28
19.52
10
Authors
3
Name
Order
Citations
PageRank
Michael Burrows15117883.48
Martín Abadi2120741324.31
Roger M. Needham346482075.99