Secrecy in security protocols as non interference

Electronic Notes in Theoretical Computer Science

Volumn 32, Issue , 2000, Pages 101-112

  Focardi, R ^a   Gorrieri, R ^b   Martinelli, F ^c  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

^c UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER NETWORKS; CRYPTOGRAPHY; DATA FLOW ANALYSIS; DEMODULATION; INFORMATION ANALYSIS; MATHEMATICAL MODELS; NETWORK PROTOCOLS;

CRYPTOGRAPHIC PROTOCOLS; CRYPTOGRAPHIC SECURITY PROCESS ALGEBRA (CRYPTOSPA); NON DEDUCIBILITY ON COMPOSITIONS (NDC); SECURITY PROTOCOLS;

SECURITY OF DATA;

EID: 1442267745     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00097-0     Document Type: Conference Paper

References (17)

1. Abadi M., Gordon A.D. A calculus for cryptographic protocols: The spi calculus. Information and Computation. 148:(1):1999;1-70
2. M. Burrows, M. Abadi, and R. Needham. "A Logic of Authentication". Proceedings of the Royal Society of London, 426:233-271, 1989.
3. A. Durante, R. Focardi, and R. Gorieri. A compiler for analyzing cryptographic protocols using non-interference. Submitted for publication.
4. 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.
5. Focardi R., Gorrieri R. A classification of security properties for process algebras. Journal of Computer Security. 3:(1):1994/1995;5-33
6. 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.
7. R. Focardi and F. Martinelli. A uniform approach for the definition of security properties. In Proceeding of World Congress on Formal Methods (FM'99), pages 794-813. Springer, LNCS 1708, 1999.
8. 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.
9. G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Proceedings of TACAS'96. pages 146-166. LNCS 1055, 1996.
10. G. Lowe. A hierarchy of authentication specification. In Proceedings of the 10th Computer Security Foundation Workshop, pages 31-43. IEEE press, 1997.
11. G. Lowe. "Towards a Completeness Result for Model Checking of Security Protocols". In Proceedings Eleventh IEEE Computer Security Foundation Workshop, (CSFW'98), Rockport Massachusetts (USA), June 1998. IEEE Press.
12. W. Marrero, E. Clarke, and S. Jha. A model checker for authentication protocols. In Proc. of DIMACS Workshop on Design and Formal Verification of Security Protocols. Rutgers University, Sep. 1997.
13. F. Martinelli. Languages for description and analysis of authentication protocols. In Proceedings of ICTCS'98, pages 304-315. World Scientific, 1998.
14. F. martinelli. Languages for description and analysis of authentication protocols. In Proceedings of ICTCS'98, pages 304-315. World Scientific, 1998.
15. Milner R. Communication and Concurrency. 1989;Prentice-Hall
16. S. Schneider. Formal analysis of a non-repudiation protocol. In Proceedings of CSFW'98, pages 54-65, IEEE Press, 1998.
17. S. Schneider. Verifying authentication protocols in CSP. IEEE Transactions on Software Engineering, 24(9), September 1998.