Non interference for the analysis of cryptographic protocols

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1853, Issue , 2000, Pages 354-372

  Focardi, Riccardo ^a   Gorrieri, Roberto ^b   Martinelli, Fabio ^c  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

^c CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; NETWORK SECURITY;

CRYPTOGRAPHIC PROTOCOLS; INFORMATION FLOWS; NON DEDUCIBILITY ON COMPOSITIONS; NON INTERFERENCE; SECURITY PROPERTIES;

CRYPTOGRAPHY;

EID: 84974597207     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45022-x_31     Document Type: Conference Paper

References (31)

1. M. Abadi. Security protocols and specifications. In Proc. Foundations of Software Science and Computation Structures, volume 1578 of LNCS, pages 1-13, 1999.
2. M. Abadi and A. D. Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation, 148(1):1-70, 1999.
3. M. Abadi and R. Needham. Prudent engineering practice for cryptographic protocols. IEEE Transactions on Software Engineering, 22(1):6-15, January 1996.
4. D. E. Bell and L. J. La Padula. Secure computer systems: Unified exposition and multics interpretation. ESD-TR-75-306, MITRE MTR-2997, March 1976.
5. C. Bodei, P. Degano, R. Focardi, and C. Priami. Authentication via localized names. In Proceedings of CSFW'99, pages 98-110. IEEE press, 1999.
6. J. Clark and J. Jacob. “A Survay of Authentication Protocols Literature: version 1.0”. November 1997. http://www.cs.york.ac.uk/~jac/papers/drareview.ps.gz.
7. R. De Nicola and M. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83-133, 1984.
8. A. Durante, R. Focardi, and R. Gorrieri. A compiler for analysing cryptographic protocols using non-interference. Submitted for publication.
9. A. Durante, R. Focardi, and R. Gorrieri. CVS: A compiler for the analysis of cryptographic protocols. In Proceedings of CSFW'99, pages 203-212. IEEE press, 1999.
10. R. Focardi and R. Gorrieri. A classification of security properties for process algebras. Journal of Computer Security, 3(1):5-33, 1994/1995.
11. R. Focardi and R. Gorrieri. The compositional security checker: A tool for the verification of information flow security properties. IEEE Transactions on Software Engineering, 23(9), September 1997.
12. R. Focardi, R. Gorrieri, and F. Martinelli. Information flow analysis in a discrete- time process algebra. In Proceedings of CSFW'00, 2000. IEEE Press. To appear.
13. R. Focardi, R. Gorrieri, and F. Martinelli. Message authentication through non- interference. In Proc. of 8th International Conference in Algebraic Methodology and Software Technology (AMAST), 2000. To appear.
14. R. Focardi, R. Gorrieri, and F. Martinelli. Secrecy in security protocols as non- interference. In Workshop on secure architectures and information flow, volume 32 of ENTCS, 2000.
15. R. Focardi and F. Martinelli. A uniform approach for the definition of security properties. In Proceedings of World Congress on Formal Methods (FM'99), pages 794-813. Springer, LNCS 1708, 1999.
16. J. A. Goguen and J. Meseguer. Security policy and security models. In Proc. of the 1982 Symposium on Security and Privacy, pages 11-20. IEEE Press, 1982.
17. D. Gollman. What do we mean by entity authentication? In Proceedings of Sym- posium in Research in Security and Privacy, pages 46-54. IEEE Press, 1996.
18. D. Gollman. On the verification of cryptographic protocols - a tale of two com- mittees. In Workshop on secure architectures and information flow, volume 32 of ENTCS, 2000.
19. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
20. G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Proceedings of TACAS'96, pages 146-166. LNCS 1055, 1996.
21. G. Lowe. A hierarchy of authentication specification. In Proceedings of the 10th Computer Security Foundation Workshop, pages 31-43. IEEE press, 1997.
22. MasterCard. Secure electronic payment protocol, November 1995. Draft Version 1.2.
23. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
24. S. Schneider. Verifying authentication protocols with csp. In Proceedings of the 10th Computer Security Foundation Workshop, pages 3-17. IEEE press, 1997.
25. S. Schneider. Formal analysis of a non-repudiation protocol. In Proceedings of CSFW'98, pages 54-65. IEEE Press, 1998.
26. S. Schneider. Verifying authentication protocols in CSP. IEEE Transactions on Software Engineering, 24(9), September 1998.
27. F.B. Schneier. Applied Cryptography. Wiley, 1996.
28. T. Y. C. Woo and S. S. Lam. Authentication for distributed systems. IEEE Computer, 25(1):39-51, 1992.
29. T. Y. C. Woo and S. S. Lam. Authentication revised. IEEE Computer, 25(3):10, 1992.
30. T. Y. C. Woo and S. S. Lam. A semantic model for authentication protocols. In Proceedings of the 1993 IEEE Computer Society Symposium on Security and Privacy (SSP '93), pages 178-195. IEEE Press, May 1993.
31. J. Zhou and D. Gollman. A fair non-repudiation protocol. In Proc. of Symposium in Research in Security and Privacy, pages 55-61. IEEE Press, 1996.