Analyzing Trust by Scripting CPSA
Benjamin Erik Petrin · Digital WPI · 2010
This paper describes algorithms for use with the Cryptographic Protocol Shape Analyzer to automate and simplify tasks relating to cryptographic protocol analysis. A Python implementation of these algorithms is provided and documented. The tools developed in this project will be useful to both protocol designers and students looking to gain an understanding in trust engineering.