Tags for multi-protocol authentication

Electronic Notes in Theoretical Computer Science

Volumn 128, Issue 5, 2005, Pages 55-63

  Maffei, Matteo ^a  

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

Author keywords

Process Calculi; Security; Static Analysis

Indexed keywords

ALGORITHMS; CODES (SYMBOLS); CRYPTOGRAPHY; LOGIC DESIGN; MOBILE COMPUTING; SECURITY SYSTEMS;

PROCESS CALCULI; SECURITY PROTOCOLS; STATIC ANALYSIS;

NETWORK PROTOCOLS;

EID: 18444385411     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.11.042     Document Type: Conference Paper

References (19)

1. M. Abadi, and B. Blanchet Secrecy types for asymmetric communication Theor. Comput. Sci. 298 3 2003 387 415
2. C. Bodei, M. Buchholtz, P. Degano, F. Nielson, and H. Riis Nielson Automatic validation of protocol narration Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW'03) June 2003 IEEE Computer Society Press 126 140
3. C. Bodei, M. Buchholtz, P. Degano, F. Nielson, and H. Riis Nielson Control flow analysis can find new flaws too Proceedings of the Workshop on Issues on the Theory of Security (WITS'04) Electronic Notes in Theoretical Computer Science 2004 Elsevier
4. M. Bugliesi, R. Focardi, and M. Maffei Compositional analysis of authentication protocols Proceedings of European Symposium on Programming (ESOP 2004) Lecture Notes in Computer Science volume 2986 2004 Springer-Verlag 140 154
5. M. Bugliesi, R. Focardi, and M. Maffei A theory of types and effects for authentication ACM Proceedings of Formal Methods for Security Engineering: from Theory to Practice (FMSE 2004) October 2004 ACM Press 1 12
6. 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
7. R. Focardi, R. Gorrieri, and F. Martinelli Non interference for the analysis of cryptographic protocols Proceedings of ICALP'00 LNCS 1853 July 2000 Springer 1 12
8. R. Focardi, and M. Maffei ρ-spi calculus at work: Authentication case studies Proceedings of Mefisto Project Electronic Notes in Theoretical Computer Science 99 August 2004 268 293 Elsevier
9. A. Gordon, and A. Jeffrey Authenticity by typing for security protocols Proceedings of 14th IEEE Computer Security Foundations Workshop (CSFW'01) June 2001 IEEE Computer Society Press 145 159
10. A. Gordon, and A. Jeffrey Types and effects for asymmetric cryptographic protocols Proceedings of 15th IEEE Computer Security Foundations Workshop (CSFW'02) 24-26 June 2002 IEEE Computer Society Press 77 91
11. Joshua D. Guttman, and F. Javier Thayer Protocol independence through disjoint encryption Proceedings of 13th IEEE Computer Security Foundations Workshop (CSFW'00) July 2000 IEEE Computer Society Press 24 34
12. Joshua D. Guttman, and F. Javier Thayer Authentication tests and the structure of bundles Theoretical Computer Science 283 2 2002 333 380
13. J. Heather, G. Lowe, and S. Schneider How to prevent type flaw attacks on security protocols Proceedings of 13th IEEE Computer Security Foundations Workshop (CSFW'00) July 2000 IEEE Computer Society Press 255 268
14. G. Lowe A Hierarchy of Authentication Specification Proceedings of the 10th Computer Security Foundation Workshop (CSFW'97) 1997 IEEE Computer Society Press 31 44
15. C. Meadows and P. Syverson. Formal specification and analysis of the group domain of intrepretation protocol using npatrl and the nrl protocol analyzer, 2003. to appear in Journal of Computer Security
16. Catherine Meadows Open issues in formal methods for cryptographic protocol analysis Lecture Notes in Computer Science 2052 2001 21 36
17. J.C. Mitchell, M. Mitchell, and U. Stern Automated analysis of cryptographic protocols using murφ Proceedings of the 1997 IEEE Symposium on Research in Security and Privacy 1997 IEEE Computer Society Press 141 153
18. R.M. Needham, and M.D. Schroeder Authentication revisited ACM SIGOPS Operating Systems Review 21 1 1987 7
19. L.C. Paulson Relations between secrets: Two formal analyses of the yahalom protocol Journal of Computer Security 9 3 2001 197 216