Feasibility of multi-protocol attacks

Proceedings - First International Conference on Availability, Reliability and Security, ARES 2006

Volumn 2006, Issue , 2006, Pages 287-294

  Cremers, Cas ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CRIME; DATA PRIVACY; NETWORK PROTOCOLS;

MULTI-PROTOCOL ATTACKS; SECURITY PROTOCOLS;

SECURITY OF DATA;

EID: 33750936222     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ARES.2006.63     Document Type: Conference Paper

References (28)

1. J. Alves-Foss. Multiprotocol attacks and the public key infrastructure. In Proc. 21st National Information Systems Security Conference, pages 566-576, Arlington, Oct 1998.
2. A. Armando, D. Basin, Y. B. Y. Chevalier, L. Compagna, L. Cuellar, P. Drielsma, P. Heám, O. Kouchnarenko, J. Mantovani, S. Mödersheim, D. von Oheimb, M. Rusinowitch, J. Santiago, M. Turuani, L. Viganò, and L. Vigneron. The AVISPA tool. In Proc. of CAV'2005, LNCS 3576. 2005.
3. B. Blanchet. An Efficient Cryptographic Protocol Verifier Based on Prolog Rules. In 14th IEEE Computer Security Foundations Workshop (CSFW-14), pages 82-96, Cape Breton, June 2001. IEEE Computer Society.
4. C. Boyd and A. Mathuria. Protocols for Authentication and Key Establishment. Information Security and Cryptography. Springer, 2003. ISBN: 3-540-43107-1.
5. R. Canetti. Universally composable security: A new paradigm for cryptographic protocols. Cryptology ePrint Archive, Report 2000/067.
6. R. Canetti, C. Meadows, and P. Syverson. Environmental requirements for authentication protocols, 2002.
7. J. Clark and J. Jacob. A survey of authentication protocol literature. Technical report.
8. C. Cremers. Scyther documentation.
9. C. Cremers. Compositionality of security protocols: A research agenda, 2004.
10. C. Cremers and S. Mauw. Operational semantics of security protocols. In S. Leue and T. Systä, editors, Scenarios: Models, Transformations and Tools Workshop 2003, Revised Selected Papers, volume 3466 of LNCS. Springer, 2005.
11. C. Cremers, S. Mauw, and E. de Vink. Defining authentication in a trace model. In T. Dimitrakos and F. Martinelli, editors, FAST 2003, pages 131-145, Pisa, September 2003. IITT-CNR technical report.
12. A. Datta, A. Derek, J. C. Mitchell, and D. Pavlovic. Secure protocol composition. In Proc. of Mathematical Foundations of Programming Semantics, volume 83 of ENTCS, 2003.
13. X. Didelot. Cosp-j: A compiler for security protocols, 2003.
14. L. Gong and P. Syverson. Fail-stop protocols: An approach to designing secure protocols. In Proc. of the 5th International Working Conference on Dependable Computing for Critical Applications (DCCA-5), pages 44-55, 1995.
15. J. Guttman and F. Thayer. Protocol independence through disjoint encryption. In PCSFW: Proc. of the 13th Computer Security Foundations Workshop. IEEE, 2000.
16. J. Heather, G. Lowe, and S. Schneider. How to prevent type flaw attacks on security protocols. Journal of Computer Security, 11(2):217-244, 2003.
17. G. Hollestelle. Systematic analysis of attacks on security protocols, Nov 2005. Master's Thesis.
18. J. Kelsey, B. Schneier, and D. Wagner. Protocol interactions and the chosen protocol attack. In Security Protocols Workshop, pages 91-104, 1997.
19. Y. Li, W. Yang, and C.-W. Huang. On preventing type flaw attacks on security protocols with a simplified tagging scheme. J. Inf. Sci. Eng., 21(1):59-84, 2005.
20. G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FDR. In Proceedings of TACAS, volume 1055, pages 147-166. Springer Verlag, 1996.
21. G. Lowe. Casper: A compiler for the analysis of security protocols. In Proc. CSFW '97, Rockport. IEEE, 1997.
22. G. Lowe. Towards a completeness result for model checking of security protocols. In PCSFW: Proc. of the 11th Computer Security Foundations Workshop. IEEE, 1998.
23. M. Maffei. Tags for multi-protocol authentication. In Proc. SECCO 2004, Electronic Notes in Theoretical Computer Science, August 2004. To appear.
24. D. Song, S. Berezin, and A. Perrig. Athena: A novel approach to efficient automatic security protocol analysis. Journal of Computer Security, 9(1/2):47-74, 2001.
25. Security protocols open repository (SPORE).
26. F. Thayer, J. Herzog, and J. Guttman. Mixed strand spaces. In Proc. of the 1999 Computer Security Foundations Workshop, page 72. IEEE, 1999.
27. W. Tzeng and C. Hu. Inter-protocol interleaving attacks on some authentication and key distribution protocols. Inf. Process. Lett., 69(6):297-302, 1999.
28. T. Woo and S. Lam. A lesson on authentication protocol design. SIGOPS Oper. Syst. Rev., 28(3):24-37, 1994.