M. Abadi and Marc. R. Tuttle.
A Semantics for a Logic of Authentication.
In Proceedings of the 10th Annual ACM Symposium On Principles of
Distributed Computing, pages 201-216, August 1991.
Martin Abadi and Andrew D. Gordon.
A Calculus for Cryptographic Protocols: The Spi Calculus.
In the Proceedings of the Fourth ACM Conference on Computer and
Communications Security. ACM Press, April 1997.
P. Bieber.
A Logic of Communication in a Hostile Environment.
In Proceedings of the Computer Security Foundations Workshop
III, pages 14-22. IEEE Computer Society Press, 1990.
Pierre Bieber and Nora Boulahia Cuppens.
Formal Development of Authentication Protocols.
In Proceedings of the BCS-FACS 6th Refinemment Workshop on
software Engineering and its Applications, January 1994.
Pierre Bieber, Nora Boulahia Cuppens, Thomas Lehman, and Erich van Wickeren.
Abstract Machines for Communication Security.
In the Proceedings of the IEEE Computer Security Foundation
Workshop VI, June 1993.
Dominique Bolignano.
An Approach to the Formal Verification of Cryptographic Protocols.
In the Proceedings of the Third ACM Conference on Computer and
Communications Security, CCS'96, New Delhi, India, pages 106-118. ACM
Press, 1996.
Colin Boyd.
A Framework for Authentication.
In Proceedings of the European Symposuim on Research in Computer
Security, ESORICS 92, volume 648 of Lecture Notes in Computer Science,
pages 273-292. Springer Verlag, November 1992.
U. Carlsen.
Formal Specification and Analysis of Cryptographic Protocols.
PhD thesis, Thèse d'Informatique soutenue à l'Université PARIS
XI, October 1994.
K. Gaarder and E. Snekkenes.
Applying a formal analysis technique to the CCITT X.509 Strong
Two-Way Authentication Protocol.
Journal of cryptology, 3(2), pages 81-98, 1991.
Paul Gardiner, Dave Jackson, Jason Hulance, and Bill Roscoe.
Security Modelling in CSP and FDR: Deliverable Bundle 2.
Technical report, Formal Systems (Europe) Ltd, April 1996.
Paul Gardiner, Dave Jackson, and Bill Roscoe.
Security Modelling in CSP and FDR: Deliverable Bundle 3.
Technical report, Formal Systems (Europe) Ltd, July 1996.
Janice I. Glasgow, Glenn H. MacEwen, and Prakash Panangaden.
A Logic for Reasoning About Security.
ACM Transactions on Computer Systems, 10(3):226-264, August
1992.
V.D. Gligor and R. Kailar.
On Belief Evolution in Authentication Protcols.
In Proceedings of the IEEE Computer Security Foundations
Workshop IV, Franconia, pages 103-116, June 1991.
Li Gong, Roger Needham, and Raphael Yahalom.
Reasoning About Belief in Cryptographic Protocols.
In Deborah Cooper and Teresa Lunt, editors, Proceedings 1990
IEEE Symposium on Research in Security and Privacy, pages 234-248. IEEE
Computer Society, May 1990.
R. A. Kemmerer.
Using Formal Verification Techniques to Analyse Encryption
Protocols.
In Proceedings of the IEEE Symposium on Research in Security and
Privacy, pages 134-139. IEEE Computer Society Press, 1987.
R. A. Kemmerer.
Analysing Encryption Protocols Using Formal Verification
Techniques.
IEEE Journal on Selected Areas in Communications,
7(4):448-457, 1989.
Gavin Lowe.
Breaking and Fixing the Needham Schroeder Public-Key Protocol using
FDR.
In Proceedings of TACAS, volume 1055, pages 147-166. Springer
Verlag, 1996.
Gavin Lowe.
Some new attacks upon security protocols.
In Proceedings of the Computer Security Foundations Workshop
VIII. IEEE Computer Society Pres, 1996.
Wenbo Mao and Colin Boyd.
Towards the Formal Analysis of Security Protocols.
In Proceedings of the Computer Security Foundations Workshop
VI, pages 147-158. IEEE Computer Society Press, 1993.
R. Milner.
The Polyadic -Calculus: A Tutorial.
Technical report, Laboratory for Foundations of Computer Science,
Department of Computer Science, University of Edinburgh, 1991.
R. Milner, J. Parrow, and D. Walker.
A Calculus of Mobile Processes.
Technical report, Laboratory for Foundations of Computer Science,
Department of Computer Science, University of Edinburgh, 1989.
Louise E. Moser.
A Logic of Knowledge and Belief about Computer Security.
In J. Thomas Haigh, editor, Proceedings of the Computer Security
Foundations Workshop III, pages 57-63. IEEE, Computer Society Press of the
IEEE, 1989.
P. V. Rangan.
An Axomiatic Basis of Trust in Distributed Systems.
In Proceedings of the 1988 Symposium on Security and Privacy,
pages 204-211. IEEE Computer Society Press, April 1988.
A.D. Rubin and P. Honeyman.
Formal Methods for the Analysis of Authentication Protocols.
Technical Report Technical report 93-7, Technical Report, Center for
Information Technology Integration, 1993.
University of Michigan. Internal Draft.
Steve Schneider.
Security Properties and CSP.
In Proceedings of the 1996 IEEE Symposium on Security and
Privacy, pages 174-187. IEEE Computer Society Press, May 1996.
Einar Snekkenes.
Authentiction in Open Systems.
In 10th IFIP WG 6.1 Symposium on Protocol Specification, Testing
and Verification, pages 313-324, June 1990.
Einar Snekkenes.
Formal Specification and Analysis of Cryptographic Protocols.
PhD thesis, Faculty of Mathematics and Natural Sciences, University
of Oslo, Norwegian Defence Research Establishment, P.O. Box 25, N-2007,
Kjeller, Norway, January 1995.
Paul Syverson.
The Use of Logic in the Analysis of Cryptographic Protocols.
In Teresa F. Lunt and John McLean, editors, Proceedings of the
1991 IEEE Symposium on Security and Privacy, pages 156-170. IEEE Computer
Society, May 1991.
Paul Syverson and Paul C. van Oorshot.
On Unifying some Cryptographic Protocol Logics.
In Proceedings of the IEEE 1994 Computer Society Symposium on
Security and Privacy, pages 14-28. IEEE Computer Society, May 1994.
The commission of the European Communities CEC DG-XIII.
Security Investigation Final Report.
Technical Report S2011/7000/D010 7000 1000, CEC, September 1993.
Vijay Varadharajan.
Formal specification of a secure distributed system.
In Proceedings of the 12th National Computer Security
Conference, pages 146-171, October 1989.
-Calculus: A Tutorial.