Martín Abadi and Mark R. Tuttle. A Semantics for
a Logic of Authentication (Extended Abstract), ACM Symposium on Principles
of Distributed Computing, 1991, Montreal, Quebec, Canada.
Michael Burrows, Martín Abadi and Roger Needham.
A Logic of Authentication, ACM Transactions on Computer Systems,
Vol. 8, No. 1, February 1990, pp 18-36.
Li Gong, Roger Needham and Raphael Yahalom.
Reasoning about Belief in Cryptographic Protocols, IEEE Computer Society
Symposium on Research in Security and Privacy, 1990.
Einar Snekkenes. Exploring the BAN Approach
to Protocol Analysis, IEEE Computer Society Symposium on Research in
Security and Privacy, 1991, Oakland, CA.
Paul Syverson. The Use of Logic in the
Analysis of Cryptographic Protocols, IEEE Computer Society Symposium on
Research in Security and Privacy, 1991, Oakland, CA.
