-
1989
- A Logic of Authentication (Michael Burrows, Martin Abadi, and Roger Needham, 1989)
![[Cool]](http://research.cyber.ee/~lipmaa/gifs/cool.gif)
- A Logic of Authentication (Michael Burrows, Martin Abadi, and Roger Needham, 1989)
-
1990
- Cryptographic Protocols for Distributed Systems (Li Gong, PhD thesis, 1990)
- Reasoning about Belief in Cryptographic Protocols (L. Gong, R. Needham, and R. Yahalom, 1990)
-
1991
- A Semantics for a Logic of Authentication (Abadi, Tuttle, 1991)
- Authentication in Distributed Systems: Theory and Practice (Butler Lampson, Martin Abadi, Michael Burrows, Edward Wobber, 1991)
-
1992
- Formal Methods for the Analysis of Authentication Protocols (by A. D. Rubin & P. Honeyman)
-
1993
- Adding Time to a Logic of Authentication (Paul Syverson, Proceedings of the First ACM Conference on Computer and Communications Security, Fairfax VA Nov. 1993 ACM Press (New York, 1993))
- On Key Distribution Protocols for Repeated Authentication (Paul Syverson, ACM Operating Systems Review vol. 27, no. 4, October 1993, pp. 24-30)
-
1994
- Prudent Engineering Practice for Cryptographic Protocols (Martin Abadi and Roger Needham, 1994)
- A Security Architecture for Fault-Tolerant Systems (Michael K. Reiter, Kenneth P. Birman and Robbert Van Renesse)
- On Unifying Some Cryptographic Protocol Logics, by Paul F. Syverson and Paul C. van Oorschot (Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy Oakland CA May 1994 IEEE CS Press (Los Alamitos, 1994))
-
1995
- Using Temporal Logic to Specify and Verify Cryptographic Protocols (Progress Report) by Gray, J. and McLean, J. (Proceedings of the 8th IEEE Computer Security Foundations Workshop, IEEE Press, 1995)
-
1996
- Limitations on Design Principles for Public Key Protocols by Paul F. Syverson (Proceedings of the 1996 IEEE Symposium on Security and Privacy, Oakland, CA, 1996, IEEE CS Press, pp. 62-73)
- An Authentication Logic Supporting Synchronization, Revocation, and Recency ( Stuart G. Stubblebine Rebecca N. Wright, 1996)
-
1997
- Explicit Communication Revisited: Two New Attacks on Authentication Protocols (IEEE Transactions on Software Engineering 23, 3 (March 1997), 185-186.)
-
1998
- A Simple Logic for Authentication Protocol Design (L. Buttyán, S. Staamann, and U. Wilhelm, 1998)
-
2000
- Inductive Verification of Cryptographic Protocols (Giampaolo Bella, PhD thesis, 2000)
- Reconciling two views of cryptography (The computational soundness of formal encryption) (Martin Abadi, Phillip Rogaway, 2000)
- Towards Extensional Goals in Authentication Protocols (Colin Boyd)
- Formal Verification of Cryptographic Protocols: A Survey (Catherine Meadows, Advances in Cryptology - Asiacrypt '94, LNSC 917, Springer-Verlag, 1995, pp. 133-150)
- Open Issues in Formal Methods for Cryptographic Protocol Analysis (Catherine Meadows, Proc DISCEX 2000, IEEE Computer Society Press, pp. 237-250, January, 2000)
![[citeseer]](http://citeseer.ist.psu.edu/icon/cssmall.gif){kind=icon}
research.cyber.ee