CASPA is a tool for the automated analysis of cryptographic protocols. The analysis is based on a technique called causality-based abstraction and provides security proofs for an unbounded number of concurrent protocol executions.
CASPA comes with an easy to use gui (see Figure 1) and a powerful command line interface. Additionally a translator from the Intermediate Format, the protocol language of AVISPA, to the prot format used is part of the tool. It can display causal graphs using Graphviz, print out traces for any given node as tex file, or simply check a protocol for security.