CPSA 1.0:

A New Cryptographic Protocol Shapes Analyzer Implementation

John D. Ramsdell

with

Joshua D. Guttman and Ariel E. Segall

January 2008