Analysis of typed analyses of authentication protocols

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 2005, Pages 112-125

  Bugliesi, Michele ^a   Focardi, Riccardo ^a   Maffei, Matteo ^a  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTHENTICATION PROTOCOLS; CIPHERTEXT; CRYPTOGRAPHIC KEYS;

CRYPTOGRAPHY; NETWORK PROTOCOLS;

SECURITY OF DATA;

EID: 28144464907     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSFW.2005.8     Document Type: Conference Paper

References (17)

1. M. Abadi. Secrecy by typing in security protocols. JACM, 46(5):749-786, 1999.
2. M. Abadi and B. Blanchet. Secrecy types for asymmetric communication. Theor. Comput. Sci., 298(3):387-415, 2003.
3. C. Bodei, M. Buchholtz, P. Degano, F. Nielson, and H. R. Nielson. Automatic validation of protocol narration. In Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW'03), pages 126-140. IEEE Computer Society Press, June 2003.
4. C. Bodei, M. Buchholtz, P. Degano, F. Nielson, and H. R. Nielson. Control flow analysis can find new flaws too. In Proceedings of the Workshop on Issues on the Theory of Security (WITS'04), ENTCS. Elsevier, 2004.
5. M. Bugliesi, R. Focardi, and M. Maffei. Authenticity by tagging and typing (full and revised version). Forthcoming.
6. M. Bugliesi, R. Focardi, and M. Maffei. Compositional analysis of authentication protocols. In Proceedings of European Symposium on Programming (ESOP 2004), volume 2986 of Lecture Notes in Computer Science, pages 140-154. Springer-Verlag, 2004.
7. M. Bugliesi, R.Focardi, and M.Maffei. Authenticity by tagging and typing. In 2nd ACM Workshop on Formal Methods in Security Engineering: From Specifications to Code (FMSE 2004). ACM press, October 2004. Affiliated to CCS 2004.
8. N. Durgin, J. Mitchell, and D. Pavlovic. A compositional logic for proving security properties of protocols. Journal of Computer Security. 11(4):677-721, 2003.
9. R. Focardi, M. Maffei, and F. Placella. Inferring authentication tags. January 2005. In ACM Digital Library Proceedings of IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS Workshop on Issues on the Theory of Security (WITS 2005).
10. A. Gordon and A. Jeffrey. Cryptyc (cryptographic protocol type checker), http://cryptyc.cs.depaul.edu/.
11. A. Gordon and A. Jeffrey. Personal communication. January 2005.
12. A. Gordon and A. Jeffrey. Types and effects for asymmetric cryptographic protocols. Journal of Computer Security, 12(3/4):435-484, 2004.
13. A. D. Gordon and A. Jeffrey. Authenticity by typing for security protocols. J. Comput. Secur., 11(4):451-519, 2004.
14. A. Menezes, P. van Oorschot, and S. Vanstone. Handbook of Applied Cryptography. CRC Press, 1996.
15. M.Maffei. Tags for multi-protocol authentication. In Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SECCO '04). To appear. ENTCS, August 2004.
16. J. Thayer, J. Herzog, and J. Guttman. Strand spaces: Proving security protocols correct. Journal of Computer Security, 1999. 7(2/3).
17. T. Woo and S. Lam. "A Semantic Model for Authentication Protocols". In Proceedings of 1993 IEEE Symposium on Security and Privacy, pages 178-194, 1993.