A New Cryptographic Protocol Shapes Analyzer Implementation
John D. Ramsdell
with
Joshua D. Guttman and Ariel E. Segall
January 2008