Message authentication through non interference

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

Volumn 1816, Issue , 2000, Pages 258-272

  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

ALGEBRA; CALCULATIONS; SOFTWARE ENGINEERING;

MESSAGE AUTHENTICATION; NON INTERFERENCE; SECURITY PROPERTIES; SPI CALCULUS;

AUTHENTICATION;

EID: 26844480899     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45499-3_20     Document Type: Conference Paper

References (23)

1. M. Abadi and A. D. Gordon. Reasoning about cryptographic protocols in the spi calculus. In Proc. of CONCUR'97, pages 59-73. LNCS 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. M. Burrows, M. Abadi, and R. Needham. A Logic of Authentication. Proc. of the Royal Society of London, 426:233-271, 1989.
4. C. Bodei, P. Degano, R. Focardi, and C. Priami. Authentication via localized names. In Proc. of CSFW'99, pages 98-110. IEEE press, 1999.
5. R. De Nicola and M. Hennessy. Testing equivalences for processes. Theoretical Computer Science, 34:83-133, 1984.
6. A. Durante, R. Focardi, and R. Gorrieri. CVS: A compiler for the analysis of cryptographic protocols. In Proc. of CSFW'99, pages 203-212. IEEE press, 1999.
7. R. Focardi, A. Ghelli, and R. Gorrieri. Using non interference for the analysis of security protocols. In Proc. of DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997.
8. R. Focardi and R. Gorrieri. A classification of security properties for process algebras. Journal of Computer Security, 3(1):5-33, 1994-1995.
9. R. Focardi and R. Gorrieri. The compositional security checker: A tool for the ver-i_cation of information flow security properties. IEEE Transactions on Software Engineering, 23(9):550-571, 1997.
10. R. Focardi and F. Martinelli. A uniform approach for the definition of security properties. In Proc. of World Congress on Formal Methods (FM'99), pages 794-813. Springer, LNCS 1708, 1999.
11. 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.
12. D. Gollmann. What do we mean by entity authentication? In Proc. of Symposium in Research in Security and Privacy, pages 46-54. IEEE Press, 1996.
13. G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Proc. of TACAS'96, pages 146-166. LNCS 1055, 1996.
14. G. Lowe. A hierarchy of authentication specification. In Proc. of the 10th Com-puter Security Foundation Workshop, pages 31-43. IEEE press, 1997.
15. D. Marchignoli and F. Martinelli. Automatic verification of cryptographic proto-cols through compositional analysis techniques. In Proc. of TACAS'99, volume 1579 of LNCS, pages 148-163, 1999.
16. 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.
17. F. Martinelli. Languages for description and analysis of authentication protocols. In Proc. of ICTCS'98, pages 304-315. World Scientific, 1998.
18. F. Martinelli. Partial model checking and theorem proving for ensuring security properties. In Proc. of CSFW'98, pages 44-52. IEEE press, 1998.
19. R. Milner. Communication and Concurrency. Prentice-Hall, 1989.
20. P. Y. A. Ryan and S. Schneider. Process algebra and non-interference. In Proc. of CSFW'99, pages 214-227. IEEE press, 1999.
21. S. Schneider. Formal analysis of a non-repudiation protocol. In Proc. of CSFW'98, pages 54-65. IEEE Press, 1998.
22. S. Schneider. Verifying authentication protocols in CSP. IEEE Transactions on Software Engineering, 24(9), September 1998.
23. J. T. Wittbold and D. M. Johnson. Information Flow in Nondeterministic Systems. In Proc. of the 1990 IEEE Symposium on Research in Security and Privacy, pages 144-161. IEEE Computer Society Press, 1990.