Dynamic types for authentication

Journal of Computer Security

Volumn 15, Issue 6, 2007, Pages 563-617

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

^a CA' FOSCARI UNIVERSITY OF VENICE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMIC PROGRAMMING; NETWORK PROTOCOLS; SECURITY OF DATA; SEMANTICS;

CIPHERTEXTS; DOLEV-YAO INTRUDERS; MULTI-PROTOCOL SYSTEMS; PROTOCOL PARTICIPANTS;

AUTHENTICATION;

EID: 34548820967     PISSN: 0926227X     EISSN: None     Source Type: Journal    
DOI: 10.3233/JCS-2007-15602     Document Type: Conference Paper

References (36)

1. M. Abadi, Secrecy by typing in security protocols, JACM 46(5) (1999), 749-786.
2. M. Abadi and B. Blanchet, Secrecy types for asymmetric communication, Theor. Comput. Sci. 298(3) (2003), 387-415.
3. M. Abadi and B. Blanchet, Secrecy types for asymmetric communication, Theoretical Computer Science 298(3) (2003), 387-415.
4. M. Abadi and C. Fournet, Private authentication, in: Proceedings of the 2002 Workshop on Privacy Enhancing Technologies, LNCS, vol. 2482, Springer-Verlag, 2003, pp. 27-40.
5. M. Abadi and A.D. Gordon, A calculus for cryptographic protocols: The spi calculus, Information and Computation 148(1) (1999), 1-70.
6. M. Abadi and R. Needham, Prudent engineering practice for cryptographic protocols, IEEE Transactions on Software Engineering 22(1) (1996), 6-15.
7. B. Blanchet and A. Podelski, Verification of cryptographic protocols: Tagging enforces termination, in: Proceedings of Foundations of Software Science and Computation Structures, 2003, pp. 136-152.
8. C. Bodei, M. Buchholtz, P. Degano, F. Nielson and H. Riis Nielson, Automatic validation of protocol narration, in: Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW'03), IEEE Computer Society Press, 2003, pp. 126-140.
9. C. Bodei, M. Buchholtz, P. Degano, F. Nielson and H. Riis 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.
10. M. Boreale, Symbolic trace analysis of cryptographic protocols, in: Proceedings of ICALP 01, LNCS, vol. 2076, Springer-Verlag, 2001, pp. 667-681.
11. M. Boreale, R. De Nicola and R. Pugliese, Proof techniques for cryptographic processes, in: Logic in Computer Science, 1999, pp. 157-166.
12. M. Bugliesi, R. Focardi and M. Maffei, Principles for entity authentication, in: Proceedings of 5th International Conference Perspectives of System Informatics (PSI 2003), LNCS, vol. 2890, SpringerVerlag, 2003, pp. 294-307.
13. M. Bugliesi, R. Focardi and M. Maffei, Authenticity by tagging and typing, in: FMSE '04: Proceedings of the 2004 ACM workshop on Formal methods in security engineering, ACM Press, New York, NY, USA, 2004, pp. 1-12.
14. M. Bugliesi, R. Focardi and M. Maffei, Compositional analysis of authentication protocols, in: Proceedings of European Symposium on Programming (ESOP 2004), LNCS, vol. 2986, Springer-Verlag, 2004, pp. 140-154.
15. M. Bugliesi, R. Focardi and M. Maffei, Analysis of typed-based analyses of authentication protocols, in: Proceedings of 18th IEEE Computer Security Foundations Workshop (CSFW 2005), 2005, pp. 112-125.
16. A. Datta, A. Derek, J.C. Mitchell and D. Pavlovic, A derivation system for security protocols and its logical formalization, in: CSFW, 2003, pp. 109-125.
17. A. Datta, A. Derek, J.C. Mitchell and D. Pavlovic, Secure protocol composition, in: FASE '03: Proceedings of the 2003 ACM Workshop on Formal Methods in Security Engineering, ACM Press, New York, NY, USA, 2003, pp. 11-23.
18. N. Durgin, J. Mitchell and D. Pavlovic, A compositional logic for proving security properties of protocols, Journal of Computer Security 11(4) (2004), 677-721.
19. R. Focardi, M. Maffei and F. Placella, Inferring authentication tags, in: WITS '05: Proceedings of the 2005 Workshop on Issues in the Theory of Security, ACM Press, New York, NY, USA, 2005, pp. 41-49.
20. A. Gordon and A. Jeffrey, Authenticity by typing for security protocols, Journal of Computer Security 11(4) (2004), 451-519.
21. A. Gordon and A. Jeffrey, Types and effects for asymmetric cryptographic protocols, Journal of Computer Security 12(3/4) (2004), 435-484.
22. A. Gordon, and A. Jeffrey, Secrecy despite compromise: types, cryptography, and the pi-calculus, in: Proceedings of Concur 2005, Springer-Verlag, 2005, pp. 186-201.
23. J.D. Guttman and F.J. Thayer, Authentication tests and the structure of bundles, Theoretical Computer Science 283(2) (2002), 333-380.
24. J.D. Guttman, F.J. Thayer, J.A. Carlson, J.C. Herzog, J.D. Ramsdell and B.T. Sniffen, Trust management in strand spaces: a rely-guarantee method, in: Proceedings of European Symposium on Programming (ESOP 2004), LNCS, vol. 2986, Springer-Verlag, 2004, pp. 325-339.
25. J.D. Guttman and F.J. Thayer, Protocol independence through, disjoint encryption, in: Proceedings of 13th IEEE Computer Security Foundations Workshop (CSFW'00), IEEE Computer Society Press, 2000, pp. 24-34.
26. K. Hasebe and M. Okada, Non-monotonic properties for proving correctness in a framework of compositional logic, in: Proceedings of Foundations of Computer Security Workshop (FCS'04), 2004, pp. 97-113.
27. J. Heather, G. Lowe and S. Schneider, How to prevent type flaw attacks on security protocols, in: Proceedings of 13th IEEE Computer Security Foundations Workshop (CSFW'OO), IEEE Computer Society Press, 2000, pp. 255-268.
28. G. Lowe, Breaking and fixing the Needham-Schroeder public-key protocol using FDR, in: Tools and Algorithms for the Construction and Analysis of Systems (TACAS), LNCS, vol. 1055, SpringerVerlag, 1996, pp. 147-166.
29. G. Lowe, A hierarchy of authentication specification, in: Proceedings of the 10th Computer Security Foundation Workshop (CSFW'97), IEEE Computer Society Press, 1997, pp. 31-44.
30. G. Lowe, A family of attacks upon authentication protocols, Technical Report 1997/5, Department of Mathematics and Computer Science, University of Leicester, 1997.
31. C. Meadows and P. Syverson, Formal specification and analysis of the group domain of intrepretation protocol using npatrl and the nrl protocol analyzer, Journal of Computer Security 12(6) (2004), 893-931.
32. C. Meadows, Open issues in formal methods for cryptographic protocol analysis, LNCS, vol. 2052 (2001), pp. 21-36.
33. A.J. Menezes, P.C. van Oorschot and S.A. Vanstone, Handbook of Applied Cryptography, CRC Press, 1996.
34. J. Thayer, J. Herzog and J. Guttman, Strand spaces: Proving security protocols correct, Journal of Computer Security 7(2/3) (1999), 191-230.
35. T.Y.C. Woo and S.S. Lam, A lesson on authentication protocol design. Operating Systems Review, 28(3) (1994), 24-37.
36. T.Y.C. Woo and S.S. Lam, A semantic model for authentication protocols, in: Proceedings of 1993 IEEE Symposium on Security and Privacy, 1993, pp. 178-194.