Knowledge, belief, and semantics in the analysis of cryptographic protocols

Journal of Computer Security

Volumn 1, Issue 3-4, 1992, Pages 317-334

  Syverson, Paul F ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84974755213     PISSN: 0926227X     EISSN: None     Source Type: Journal    
DOI: 10.3233/JCS-1992-13-407     Document Type: Article

References (35)

1. Martin Abadi and Mark R. Tuttle. A Semantics for a Logic of Authentication. In Proceedings of the Tenth Annual ACM Symposium on Distributed Computing, pages 203-216- ACM Press, August 1991.
2. Michael Burrows, Martin Abadi, and Roger Needham. A Logic of Authentication. Research Report 39, Digital Systems Research Center, February 1989. Parts and versions of this material have been presented in many places including ACM Transactions on Computer Systems, 8(1): 18-36, Feb. 1990. All references herein are to the SRC Research Report 39 as revised Feb. 22, 1990.
3. Michael Burrows, Martin Abadi, and Roger Needham. Rejoinder to Nessett. ACM Operating Systems Review, 24(2):39-40, April 1990.
4. Pierre Bieber. A Logic of Communication in Hostile Environment, In Proc. Computer Security Foundations Workshop 3. IEEE Computer Society Press, Los Alamitos, California, June 1990.
5. E. Bell and L. J. La Padula. Secure Computer Systems: Mathematical Foundations and Model, Technical Report M74-244• The MITRE Corporation, Bedford, MA, October 1974.
6. Rudolf Carnap. The Logical Syntax of Language. Routledge &c Kegan Paul, London, 1937. Translated by Amethe Smeaton (Countess von Zeppelin).
7. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems, 8(2):244-263, April 1986.
8. Brian F. Chellas. Modal Logic: An Introduction. Cambridge University Press, Cambridge, 1980.
9. Dorothy E. Denning. Cryptography and Data Security. Addison-Wesley, Reading, Massachusetts, 1982.
10. Richard A. DeMillo, Nancy A. Lynch, and Michael J. Merritt. Cryptographic Protocols. In Proceedings of the Fourteenth Annual ACM Symposium on the Theory of Computing, pages 383-400. ACM Press, 1982.
11. D. Dolev and A. Yao. On the Security of Public Key Protocols. IEEE Transactions on Information Theory, 29(2): 198-208, March 1983.
12. Joan Feigenbaum and Michael Merritt, editors. Distributed Computing and Cryptography, volume 2 of DIM ACS Series in Discrete Mathematics and Theoretical Computer Science, AMS and ACM, 1991
13. Morrie Gasser. Building a Secure Computer System. Van Nostrand Reinhold, New York, New York, 1988.
14. V.D. Gligor, R. Kailar, S. Stubblebine, and L. Gong. Logics for Cryptographic Protocols - Virtues and Limitations. In Proceedings of the Computer Security Foundations Workshop 4, pages 219-226. IEEE Computer Society Press, Los Alamitos, California, 1991.
15. J. A. Goguen and J. Meseguer. Security Policies and Security Models. In Proceedings of the 1982 IEEE Symposium on Security and Privacy, pages 1120. IEEE Computer Society Press, Los Alamitos, California, 1982.
16. Li Gong, Roger Needham, and Raphael Yahalom. Reasoning about Belief in Cryptographic Protocols. In Proceedings of the 1990 IEEE Symposium on Security and Privacy, pages 234-248. IEEE Computer Society Press, Los Alamitos, California, 1990.
17. James W. Gray, and Paul F. Syverson. A Logical Approach to Multilevel Security of Probabilistic Systems. In Proceedings of the 1992 IEEE Symposium on Security and Privacy, pages 164-176. IEEE Computer Society Press, Los Alamitos, California, 1992.
18. Joseph Y. Halpern. Reasoning about Knowledge: An Overview, In Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference, pages 1-17. Morgan Kaufmann, Los Altos, California, 1986.
19. Jaakko Hintikka. Knowledge and Belief: An Introduction to the Logic of Two Motions. Cornell University Press, Ithaca, N.Y., 1962.
20. Joseph Y. Halpern and Yoram Moses. Knowledge and Common Knowledge in a Distributed Environment. JACM, 37(3):549-587, July 1990.
21. Richard A. Kemmerer. Using Formal Verification Techniques to Analyze Cryptographic Protocols. In Proceedings of the. 1987 IEEE Symposium on Security and Privacy, pages 134-139. IEEE Computer Society Press, Los Alamitos, California, 1987.
22. Rajashekar Kailar and Virgil D. Gligor. On Belief Evolution in Authentication Protocols, In Proceedings of the Computer Security Foundations Workshop 4, pages 103-116. IEEE Computer Society Press, Los Alamitos, California, 1991.
23. Jonathan Lear. Aristotle and Logical Theory. Cambridge University Press, Cambridge, 1980.
24. Leslie Lamport, Robert Shostak, and Marshall Pease. The Byzantine Generals Problem. ACM Transactions on Programming Languages and Systems, 4(3):382-401, July 1982.
25. J. K. Millen, S. C. Clark, and S. B. Freedman. The INTERROGATOR: Protocol Security Analysis. IEEE Transactions on Software Engineering, SE- 13(2):274-288, February 1987.
26. John McLean. The Computer Security Foundations Workshop. IEEE Cipher, pages 15-23, January 1989.
27. Catherine A. Meadows. Using Narrowing in the Analysis of Key Management Protocols. In Proceedings of the 1989 IEEE Symposium on Security and Privacy, pages 138-147. IEEE Computer Society Press, Los Alamitos, California, 1989.
28. Catherine A. Meadows. Applying Formal Methods to the Analysis of a Key Management Protocol. Formal Report 9265, NRL, September 1990.
29. Catherine A. Meadows. Representing Partial Knowledge in an Algebraic Security Model. In Proceedings of the Computer Security Foundations Workshop 3, pages 23-31. IEEE Computer Society Press, Los Alamitos, California, 1990.
30. Jonathan K. Millen. The INTERROGATOR: A Tool for Cryptographic Protocol Security. In Proceedings of the 1984 IEEE Symposium on Security and Privacy, pages 138-141. IEEE Computer Society Press; Los Alamitos, California, 1984.
31. Dan M. Nessett. A Critique of the Burrows, Abadi, and Needham Logic. ACM Operating Systems Review, 24(2):35-38, April 1990.
32. Charles P. Pfleeger. Security in Computing. Prentice Hall, Englewood Cliffs, New Jersey, 1989.
33. Einar Snekkenes. Roles in Cryptographic Protocols. In Proceedings of the 1992 IEEE Symposium on Security and Privacy, pages 105-119. IEEE Computer Society Press, Los Alamitos, California, 1992.
34. Paul F. Syverson. A Logic for the Analysis of Cryptographic Protocols. Formal Report 9305, NRL, December 1990.
35. Paul F. Syverson. The Use of Logic in the Analysis of Cryptographic Protocols. In Proceedings of the 1991 IEEE Symposium on Security and Privacy, pages 156-170. IEEE Computer Society Press, Los Alamitos, California, 1991.