A framework for a cryptographic protocol evaluation workbench

Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999

Volumn , Issue , 1999, Pages 197-206

  Yasinsac, Alec ^a   Wulf, William A ^b  

^a Florida State University   (United States)

^b NATIONAL ACADEMY OF ENGINEERING   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; SYSTEMS ENGINEERING;

BAN LOGIC; CRYPTOGRAPHIC PROTOCOLS; EVALUATION METHODS; EVALUATION TOOL; MULTIPLE TOOLS;

COMPUTER CIRCUITS;

EID: 0013295446     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2017.809495     Document Type: Conference Paper

References (28)

1. [AT91] Martin Abadi and Mark R. Tuttle, "A Semantics for a Logic of Authentication", Tenth Annual ACM Symp on Princ of Dist Computing, Montreal, Canada, August, 1991
2. [BAN88] Burrows, M., Abadi, M., Needham, R.M. "A Practical Study in Belief and Action", In Proceedings of the 2nd Conf on Theoretical Aspects of Reasoning about Knowledge (Asilomar, Ca., Feb. 1988) M. Vardi, Ed. Morgan Kaufmann, Los Altos, Calif., 1988, pp. 325-342
3. [BAN90] Burrows, M., Abadi, M., Needham, R. M. "A Logic of Authentication", ACM Transactions on Computer Systems, Vol. 8, No. 1, Feb 1990, pp. 18-36.
4. [BAN90b] Burrows, M., Abadi, M., Needham, R.M., "Rejoinder to Nessett", ACM Operating Systems Review, vol 24, no.2, April 1990, pp 39-40
5. [BIRD93] Ray Bird, Inder Gopal, Amir Herzberg, Phil Janson, Shay Kutten, Refik Molva, Moti Yung. "Systematic Design of a Family of Attack Resistant Authentication Protocols", IEEE Journal on Selected Areas in Communications, Vol 11, No. 5, June 1993
6. [CHEN90] Cheng, Pau-Chen and Gligor, Virgil D. "On the formal specification and verification of a Multiparty Session Protocol". From 1990 IEEE Computer Society Symposium on Research in Security and Privacy, pp. 216-233
7. [DIJK76] Edsger W. Dijkstra, "A Discipline of Programming", Prentice Hall Series in Automatic Computation, Prentice-Hall Inc. Englewood Cliffs, NJ, 1976
8. [DOL83] Dolev, D, Yao, A.C. "On the security of public key protocols". IEEE Trans. Inf. Theory IT-29, 2(Mar. 1983), pp. 198-208
9. [GLAS88] Janice I. Glasgow and Glenn 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. [GNY90] Gong, L., Needham, R., Yahalom, R. "Reasoning about Belief in Cryptographic protocols". From 1990 IEEE Computer Society Symposium on Research in Security and Privacy, pp. 234-248
11. [HOAR69] C.A.R. Hoare, "An Axiomatic Basis for Computer Programming", Communications of the ACM, Vol 12, Number 10, Oct 1969
12. [KMM93] R. Kemmerer, C. Meadows, J. Millen, "Three Systems for Cryptographic protocol Analysis", The Journal of Cryptology, Vol. 7, No. 2
13. [MEAD91] Meadows, C., "A System for the Specification and Analysis of Key Management Protocols". From 1991 IEEE Computer Society Symposium on Research in Security and Privacy, pp. 182-195.
14. [MIL87] Millen, J.K., Clark, S. C., Freedman, S. B. "The interrogator: Protocol security analysis". IEEE Trans. Sofw. eng. SE-13, 2(Feb. 1987), pp. 274-288
15. [MOS89] 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. [NS78] Needham, R. M., Schroeder, M. D. "Using encryption for authentication in large networks of computers". Commun. ACM 21, 12 (Dec. 1978), pp. 993-999
17. [NS87] Needham, R.M. & Schroeder, M.D., "Authentication Revisited", ACM Operating Systems Review, Vol. 21, No. 1, January 1987.
18. [NESS90] D. Nessett, "A Critique of the Burrows, Abadi, Needham Logic", ACM Operating Systems Review, vol. 24, no. 2, April 1990, pp. 35-38
19. [OTWY87] Otwy, D., Rees, O. "Efficient and timely mutual authentication". Operating Systems Review 21, 1(Jan. 1987), pp. 8-10
20. [SNEK91] Snekkenes, E., "Exploring the BAN Approach to Protocol Analysis". 〉From 1991 IEEE Computer Society Symposium on Research in Security and Privacy, pp. 171-181.
21. [SYV91] Syverson, P., "The Use of Logic in the Analysis of Cryptographic Protocol"., From 1991 IEEE Computer Society Symposium on Research in Security and Privacy, 156-170
22. [SYV92] Syverson, P., "Knowledge, Belief, Semantics in the Analysis of Cryptographic Protocols", Journal of Computer Security 1 (1992), pp 317-334
23. [SYV93a] Syverson, P., "Adding Time to a Logic of Authentication", in Proceedings of the First ACM Conference on Computer and Communications Security (Fairfax VA, Nov 3-5).
24. [SYV93b] Syverson, P., "On Key Distribution Protocols for Repeated Authentication" Operating Systems Review vol 27, no 4, October 1993, pp. 24-30.
25. [SYVOOR94] Syverson, P., van Oorschot, P.C., "On Unifying Some Cryptographic Protocol Logics", in Proceedings of the 1994 IEEE Computer Societ Symposium on Research in Security and Privacy, May 16-18, 1994 Oakland, California
26. [TJADEN97] Brett Tjaden, "A Method for Examining Cryptographic Protocols", University of Virginia, Doctoral Thesis, January, 1997
27. [YAS96] Alec Yasinsac, "A Formal Semantics for Evaluating Cryptographic Protocols", University of Virginia, Doctoral Thesis, January, 1996
28. [YW96] Alec Yasinsac and Wm. A. Wulf, "A Formal Method for Evaluating Cryptographic Protocols", Fourth Cambridge Workshop on Cryptographic Protocols, Mar 1996, pp