Classification of security properties (Part II: Network security)

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

Volumn 2946, Issue , 2004, Pages 139-185

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

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

^c Istituto di informatica e telematica del Consiglio nazionale delle ricerche   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY;

CRYPTOGRAPHIC PROTOCOLS; INFORMATION FLOWS; NON DEDUCIBILITY ON COMPOSITIONS; PROCESS ALGEBRAS; SECURITY PROPERTIES;

NETWORK SECURITY;

EID: 35048815468     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24631-2_4     Document Type: Article

References (47)

1. M. Abadi and A. D. Gordon. Reasoning about cryptographic protocols in the spi calculus. In Proceedings of CONCUR'97, pages 59-73. Lecture Notes in Computer Science 1243, 1997.
2. M. Abadi and A. D. Gordon. A calculus for cryptographic protocols: The spi calculus. Information and Computation, 148(1):1-70, 1999.
3. A. Aldini, M. Bravetti, R. Gorrieri. A Process-algebraic Approach for the Analysis of Probabilistic Non-interference. To appear on Journal of Computer Security, 2003.
4. A. Aldini. Probabilistic Information Flow in a Process Algebra. In 12th Int. Conference on Concurrency Theory (CONCUR'01), Springer LNCS 2154:152-168, Aalborg, Denmark, August 2001.
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. D. E. Bell, L. J. La Padula. Secure Computer Systems: Unified Exposition and Multics Interpretation. ESD-TR-75-306, MITRE MTR-2997, 1976.
7. M. Bugliesi, A. Ceccato, S. Rossi. Non-interference Proof Techniques for the Analysis of Cryptographic Protocols. In Proceedings of 2003 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security (WITS'03), April 5-6, 2003, Warsaw, Poland.
8. M. Bugliesi, A. Ceccato, and S. Rossi. Context-Sensitive Equivalences for Non-interference based Protocol Analysis. In Proc. of the 14th International Symposium on Fundamentals of Computation Theory, FCT 2003, LNCS 2751, pag. 364-375, Springer-Verlag, 2003.
9. M. Burrows, M. Abadi, and R. Needham. A logic of authentication. Proceedings of the Royal Society of London, 426:233-271, 1989.
10. J. Clark and J. Jacob. A Survey of Authentication Protocol Literature: Version 1.0. http://www.cs.york.ac.uk/∼jac/papers/drareview.ps.gz, November 1997.
11. R. De Nicola and M. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83-133, 1984.
12. D. Dolev, A.C. Yao. On the Security of Public Key Protocols. IEEE Transactions on Information Theory, 29(2), 1983.
13. 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.
14. A. Durante, R. Focardi, and R. Gorrieri. CVS at Work: A Report on new Failures upon some Cryptographic Protocols. In Procs. International Workshop Mathematical Methods, Models and Architectures for Computer Networks Security, LNCS 2052, 287-299, Springer, St. Petersburg, Russia, 2001.
15. A. Durante, R. Focardi, and R. Gorrieri. A compiler for analysing cryptographic protocols using non-interference. ACM Transactions on Software Engineering and Methodology (TOSEM), 9(4):488-528, October 2000.
16. R. Focardi, A. Ghelli, and R. Gorrieri. Using non interference for the analysis of security protocols. In Proceedings of DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997.
17. R. Focardi and R. Gorrieri. A classification of security properties for process algebras. Journal of Computer Security, 3(1):5-33, 1994/1995.
18. 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):550-571, 1997.
19. R. Focardi, R. Gorrieri. Classification of Security Properties. Part I: Information Flow, in Foundations of Security Analysis and Design (R. Focardi, R. Gorrieri eds), LNCS 2171, 331-396, Springer, 2001.
20. R. Focardi, R. Gorrieri, and F. Martinelli. A Comparison of Three Authentication Properties. Theoretical Computer Science, Volume 291(3), Pages 285-327, January 2003, Elsevier Science.
21. R. Focardi, R. Gorrieri and F. Martinelli. Real-Time Information Flow Analysis. IEEE Journal on Selected Areas in Communications. January 2003, Volume 21, Number 1. IEEE press.
22. R. Focardi, R. Gorrieri, and F. Martinelli. Message authentication through non-interference. In Proceedings of 8th International Conference in Algebraic Methodology and Software Technology (AMAST 2000), pages 258-272. Springer Lecture Notes in Computer Science 1816, 2000.
23. R. Focardi, R. Gorrieri, and F. Martinelli. Non interference for the analysis of cryptographic protocols. In proceedings of 27th International Colloquium on Automata, Languages and Programming (ICALP'00), (U. Montanari, ed.), pages 354-372. Lecture Notes in Computer Science 1853, July 2000.
24. R. Focardi, R. Gorrieri, and F. Martinelli. Secrecy in security protocols as non-interference. Workshop on secure architectures and information flow, ENTCS 32, 2000.
25. 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, Lecture Notes in Computer Science 1708, 1999.
26. J. A. Goguen and J. Meseguer. Security policy and security models. In Proceedings of the 1982 Symposium on Security and Privacy, pages 11-20. IEEE Press, 1982.
27. D. Gollman. What do we mean by entity authentication? In Proceedings of Symposium in Research in Security and Privacy, pages 46-54. IEEE Press, 1996.
28. D. Gollman. On the verification of cryptographic protocols - a tale of two committees. In Workshop on secure architectures and information flow, volume 32 of ENTCS, 2000.
29. R. Gorrieri, E. Locatelli, F. Martinelli. A Simple Language for Real-Time Cryptographic Protocol Analysis. In Proceedings of 12th European Symposium on Programming, (ESOP 2003), Springer LNCS 2618, pages 114-128, April 2003.
30. R. Gorrieri, F. Martinelli. Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols. In procs. 28th International Symposium on Mathematical Foundations of Computer Science (MFCS03), LNCS 2747, 46-67, Springer, Bratislava (SK), August 2003.
31. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
32. G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Proceedings of TACAS'96, pages 146-166. Lecture Notes in Computer Science 1055, 1996.
33. G. Lowe. A hierarchy of authentication specification. In Proceedings of the 10th Computer Security Foundation Workshop, pages 31-43. IEEE press, 1997.
34. W. Marrero, E. Clarke, and S. Jha. A model checker for authentication protocols. In Proceedings of DIMACS Workshop on Design and Formal Verification of Security Protocols. Rutgers University, Sep. 1997.
35. F. Martinelli. Analysis of security protocols as open systems. Theoretical Computer Science 290(1): 1057-1106 (2003)
36. F. Martinelli. Languages for description and analysis of authentication protocols. In Proceedings of ICTCS'98, pages 304-315. World Scientific, 1998.
37. F. Martinelli. Partial model checking and theorem proving for ensuring security properties. In Proceedings of CSFW'98, pages 44-52. IEEE press, 1998.
38. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
39. P. Y. A. Ryan and S. Schneider. Process algebra and non-interference. In Proceedings of CSFW'99, pages 214-227. IEEE press, 1999.
40. D. Sangiorgi. Expressing Mobility in Process Algebra: First-Order and Higher-Order Paradigms. PhD thesis, University of Edinburgh, 1992.
41. S. Schneider. Formal analysis of a non-repudiation protocol. In Proceedings of CSFW'98, pages 54-65. IEEE Press, 1998.
42. S. Schneider. Verifying authentication protocols in CSP. IEEE Transactions on Software Engineering, 24(9), September 1998.
43. P. Ryan, S. Schneider, M. Goldsmith, G. Lowe, and B. Roscoe. The Modelling and Analysis of Security Protocols: the CSP Approach. Addison-Wesley, 2001.
44. J. T. Wittbold and D. M. Johnson. Information flow in nondeterministic systems. In Proceedings of the 1990 IEEE Symposium on Research in Security and Privacy, pages 144-161. IEEE Computer Society Press, 1990.
45. 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.
46. J. Zhou and D. Gollmann. A fair non-repudiation protocol. In Proc. of Symposium in Research in Security and Privacy, pages 55-61. IEEE Press, 1996.
47. J. Zhou and D. Gollmann. Towards verification of non-repudiation protocols. In International Refinement Workshop and Formal Methods Pacific, 1998.