Simulation and analysis of cryptographic protocols

IFIP Advances in Information and Communication Technology

Volumn 73, Issue , 2001, Pages 89-100

  Papa, M ^a   Bremer, O ^a   Magill, S ^a   Hale, J ^a   Shenoi, S ^a  

^a NONE

Author keywords

Cryptographic protocols; Logics; Process calculi; Simulation; Verification

Indexed keywords

CRYPTOGRAPHY; VERIFICATION;

CRYPTOGRAPHIC PROTOCOLS; LOGICS; PROCESS CALCULI; SIMULATION; SIMULATION AND ANALYSIS;

NETWORK SECURITY;

EID: 84904259025     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (15)

1. Abadi, M. and Cardelli, L. (1995) An imperative object calculus, Proceedings of the Conference on Theory and Practice of Software, 471-485.
2. Abadi, M. and Gordon D. (1997) Reasoning about cryptographic protocols in the Spi calculus. Proceedings of the Fourth ACM Conference on Computer and Communications Security, 36-47.
3. Burrows, M., Abadi, M. and Needham, R. (1990) A logic of authentication. ACM Transactions on Computer Systems, 8(1), 18-36.
4. Galiasso, P. (1998) Mechanization of ROC in Higher Order Logic. M.S. Thesis, Computer Science Department, University of Tulsa, Tulsa, Oklahoma.
5. Gong, L., Needham, R. and Yahalom, R. (1990) Reasoning about belief in cryptographic protocols. Proceedings of the IEEE Symposium on Research in Security and Privacy, 234-248.
6. Gordon, M. and Melham, T. (1993) Introduction to Higher Order Logic (HOL). Cambridge University Press, Cambridge, U.K.
7. Hale, J., Threet, J. and Shenoi, S. (1997) A framework for high assurance security of distributed objects, in Database Security, X: Status and Prospects (eds. P. Samarati and R. Sandhu), Chapman and Hall, London, 101-119.
8. Lowe G. (1995) An attack on the Needham-Schroeder public key authentication protocol. Information Processing Letters, 56(3), 131-133.
9. Lowe G. (1996) Some new attacks upon security protocols. Proceedings of the Ninth IEEE Computer Security Foundations Workshop.
10. Melham, T. (1992) A mechanized theory of the π-calculus in HOL. Technical Report 244, University of Cambridge Computer Laboratory, Cambridge, U.K.
11. Milner, R. (1989) Communication and Concurrency. Prentice-Hall, New York.
12. Milner, R., Farrow, J. and Walker, D. (1989) A calculus of mobile processes. Report ECS-LFCS-89-85&86, University of Edinburgh, Edinburgh, U.K.
13. Pfleeger, C. (1997) Security in Computing. Prentice Hall, Upper Saddle River, New Jersey.
14. Schneier, B. (1996) Applied Cryptography. John Wiley, New York.
15. Syverson, P. and van Oorschot, P. (1994) On unifying some cryptographic protocol logics, Proceedings of the IEEE Symposium on Research in Security and Privacy, 165-177