The CASPA tool: Causality-based abstraction for security protocol analysis - Tool paper

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

Volumn 5123 LNCS, Issue , 2008, Pages 419-422

  Backes, Michael ^a,b   Lorenz, Stefan ^a   Maffei, Matteo ^a   Pecina, Kim ^a  

^a SAARLAND UNIVERSITY   (Germany)

^b MAX PLANCK INSTITUTE FOR SOFTWARE SYSTEMS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER AIDED ANALYSIS; LAWS AND LEGISLATION;

COMPUTER AIDED VERIFICATION; CRYPTOGRAPHIC PROTOCOLS; INTERNATIONAL CONFERENCES; SECRECY PROPERTIES; SECURITY PROTOCOL ANALYSIS; STATIC ANALYZERS;

CRYPTOGRAPHY;

EID: 48949100658     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70545-1_39     Document Type: Conference Paper

References (17)

1. Abadi, M., Gordon, A.D.: A calculus for cryptographic protocols: The spi calculus. Information and Computation 148(1), 1-70 (1999)
2. Armando, A., Basin, D., Boichut, Y., Chevalier, Y., Compagna, L., Cuellar, L., Drielsma, P., Heám, P., Kouchnarenko, O., Mödersheim, J.M.S., von Oheimb, D., Rusinowitch, M., Santiago, J., Turuani, M., Viganò, L., Vigneron, L.: The avispa tool for the automated validation of internet security protocols and applications. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 281-285. Springer, Heidelberg (2005)
3. Backes, M., Cortesi, A., Maffei, M.: Causality-based abstraction of multiplicity in cryptographic protocols. In: Proc. 20th IEEE Symposium on Computer Security Foundations (CSF), pp. 355-369. IEEE, Los Alamitos (2007)
4. Backes, M., Lorenz, S., Maffei, M., Pecina, K.: The CASPA tool, www.infsec.cs.uni-sb.de/caspa
5. Basin, D.A., Mödersheim, S., Viganò, L.: Ofmc: A symbolic model checker for security protocols. IJIS 4(3), 181-208 (2005)
6. Blanchet, B.: An efficient cryptographic protocol verifier based on Prolog rules. In: Proc. 14th IEEE Computer Security Foundations Workshop (CSFW), pp. 82-96. IEEE, Los Alamitos (2001)
7. Blanchet, B., Podelski, A.: Verification of cryptographic protocols: Tagging enforces termination. In: Gordon, A.D. (ed.) ETAPS 2003 and FOSSACS 2003. LNCS, vol. 2620, pp. 136-152. Springer, Heidelberg (2003)
8. Bodei, C., Buchholtz, M., Degano, P., Nielson, F., Nielson, H.R.: Static validation of security protocols. Journal of Computer Security 13(3), 347-390 (2005)
9. Boichut, Y., Genet, T.: Feasible trace reconstruction for rewriting approximations. In: Pfenning, F. (ed.) RTA 2006. LNCS, vol. 4098, pp. 123-135. Springer, Heidelberg (2006)
10. Chadha, R., Kremer, S., Scedrov, A.: Formal analysis of multi-party contract signing. In: Proc. 17th IEEE Computer Security Foundations Workshop (CSFW), pp. 266-279. IEEE, Los Alamitos (2004)
11. Cremers, C.: Scyther - Semantics and Verification of Security Protocols. Ph.D. dissertation, Eindhoven University of Technology (2006)
12. Doghmi, S., Guttman, J., Thayer, F.: Searching for shapes in cryptographic protocols. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 523-537. Springer, Heidelberg (2007)
13. Genet, T., Tong, V.: Reachability Analysis of Term Rewriting Systems with Timbuk. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS (LNAI), vol. 2250, pp. 695-706. Springer, Heidelberg (2001)
14. Lowe, G.: A Hierarchy of Authentication Specification. In: Proc. 10th IEEE Computer Security Foundations Workshop (CSFW), pp. 31-44. IEEE, Los Alamitos (1997)
15. Millen, J.: A necessarily parallel attack. In: Proc. of Workshop on Formal Methods and Security Protocols (1999)
16. Song, D.X.: Athena: a new efficient automatic checker for security protocol analysis. In: Proc. 12th IEEE Computer Security Foundations Workshop (CSFW), pp. 192-202. IEEE, Los Alamitos (1999)
17. Woo, T.Y.C., Lam, S.S.: A lesson on authentication protocol design. Operation Systems Review 28(3), 24-37 (1994)