A framework for a Cryptographic Protocol evaluation workbench

International Journal of Reliability, Quality and Safety Engineering

Volumn 8, Issue 4, 2001, Pages 373-389

  Yasinsac, Alec ^a   Wulf, William A ^b  

^a Florida State University   (United States)

^b NATIONAL ACADEMY OF ENGINEERING   (United States)

Author keywords

Cryptographic; Formal methods; Protocols; Verification; Weakest precondition

Indexed keywords

EID: 13544265145     PISSN: 02185393     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218539301000566     Document Type: Article

References (35)

1. M. Abadi and M. R. Tuttle, "A semantics for a logic of authentication", Tenth Annual ACM Symp on Princ of Dist Computing (Montreal, Canada, August, 1991).
2. M. Burrows, M. Abadi and R. M. Needham, "A practical study in belief and action", in Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge (Asilomar, CA., February, 1988) M. Vardi, ed. (Morgan Kaufmann, Los Altos, California) (1988), pp. 325-342.
3. M. Burrows, M. Abadi and R. M. Needham, "A logic of authentication", ACM Transactions on Computer Systems 8 (1) (February, 1990), pp. 18-36.
4. M. Burrows, M. Abadi and R. M. Needham, "Rejoinder to nessett", ACM Operating Systems Review 24 (2) (April, 1990), pp. 39-40.
5. R. Bird, I. Gopal, A. Herzberg, P. Janson, S. Kutten, R. Molva and M. Yung, "Systematic design of a family of attack resistant authentication protocols", IEEE Journal on Selected Areas in Communications 11 (5) (June, 1993).
6. P.-C. Cheng and V. D. Gligor, "On the formal specification and verification of a multiparty session protocol", from IEEE Computer Society Symposium on Research in Security and Privacy (1990) pp. 216-233.
7. E. W. Dijkstra, A Discipline of Programming, Prentice Hall Series in Automatic Computation (Prentice-Hall Inc. Englewood Cliffs, NJ, 1976).
8. D. Dolev and A. C. Yao, "On the security of public key protocols", IEEE Trans. Inf. Theory IT 29 (2) (March, 1983), pp. 198-208.
9. J. I. Glasgow and G. H. MacEwen, "Reasoning about knowledge in multilevel secure distributed systems", in Proceedings of the 1988 IEEE Syposium on Security and Privacy, Washington (IEEE) (1988), pp. 122-128.
10. L. Gong, R. Needham and R. Yahalom, "Reasoning about belief in cryptographic protocols", from IEEE Computer Society Symposium on Research in Security and Privacy (1990), pp. 234-248.
11. C. A. R. Hoare, "An axiomatic basis for computer programming", Communications of the ACM 12 (10) (October, 1969).
12. R. Kemmerer, C. Meadows and J. Millen, "Three systems for crypto-graphic protocol analysis", The Journal of Cryptology 7 (2).
13. C. Meadows, "A system for the specification and analysis of key management protocols", from IEEE Computer Society Symposium on Research in Security and Privacy (1991), pp. 182-195.
14. J. K. Millen, S. C. Clark and S. B. Freedman, "The interrogator: Protocol security analysis", IEEE Trans. Sofw. eng. SE-13 (2) (February, 1987), pp. 274-288.
15. L. Moser, "A logic of knowledge and belief for reasoning about computer security" in Proceedings of the Computer Security Foundations Workshop II, Washington (IEEE) (1989), pp. 57-63.
16. R. M. Needham and M. D. Schroeder, "Using encryption for authentication in large networks of computers", Commun. ACM 21 (12) (December, 1978), pp. 993-999.
17. R. M. Needham and M. D. Schroeder, "Authentication revisited", ACM Operating Systems Review 21 (1) (January, 1987).
18. D. Nessett, "A critique of the Burrows, Abadi, and Needham logic", ACM Operating Systems Review 24 (2) (April, 1990), pp. 35-38.
19. S. Owre, N. Shankar and J. M. Rushby, The PVS Specification Language (Draft) (Computer Science Laboratory, SRI International, Menlo Park, CA, February, 1993).
20. S. Owre, N. Shankar and J. M. Rushby, User Guide for the PVS Specification and Verification System (Draft) (Computer Science Laboratory, SRI International, Menlo Park, CA) (March 1, 1993).
21. D. Otwy and O. Rees, "Efficient and timely mutual authentication", Operating Systems Review 21 (1) (January, 1987), pp. 8-10.
22. E. Snekkenes, "Exploring the BAN approach to protocol analysis", from IEEE Computer Society Symposium on Research in Security and Privacy (1991), pp. 171-181.
23. S. Owre, N. Shankar and J. M. Rushby, PVS Tutorial (Computer Science Laboratory, SRI International, Menlo Park, CA) (February, 1993).
24. S. Owre, N. Shankar and J. M. Rushby, The PVS Proof Checker: A Reference Manual (Computer Science Laboratory, SRI International, Menlo Park, CA) (March 1, 1993).
25. P. Syverson, "The use of logic in the analysis of cryptographic protocol", from IEEE Computer Society Symposium on Research in Security and Privacy (1991), pp. 150-170.
26. P. Syverson, "Knowledge, belief, and semantics in the analysis of cryptographic protocols", Journal of Computer Security 1 (1992), pp. 317-334.
27. P. Syverson, "Adding time to a logic of authentication", in Proceedings of the First ACM Conference on Computer and Communications Security (Fairfax VA, November, 3-5).
28. P. Syverson, "On key distribution protocols for repeated authentication", Operating Systems Review 27 (4) (October, 1993), pp. 24-30.
29. P. Syverson and P. C. van Oorschot, "On unifying some cryptographic protocol logics", in Proceedings of the 1994 IEEE Computer Societ Symposium on Research in Security and Privacy (Oakland, California, May 16-18, 1994).
30. B. Tjaden, "A method for examining cryptographic protocols", (University of Virginia, Doctoral Thesis) (January, 1997).
31. A. Yasinsac, A Formal Semantics for Evaluating Cryptographic Protocols (University of Virginia, Doctoral Thesis) (January, 1996).
32. A. Yasinsac and Wm. A. Wulf, A Formal Method for Evaluating Cryptographic Protocols (Fourth Cambridge Workshop on Cryptographic Protocols) (April 1, 1996).
33. J. Crow, S. Owre, J. Rushby, N. Shankar and M. Srivas, A Tutorial Introduction to PVS (Computer Science Laboratory, SRI International, Menlo Park, Ca 94025).
34. R. S. Boyer and S. Moore, A Computational Logic, ACM Monograph Series (Academic Press, 1979).
35. R. S. Boyer and S. Moore, A Computational Logic Handbook, from the series "Perspective in Computing, Vol. 23" (Academic Press, 1988).