Student Work
Analyzing Trust by Scripting CPSA
PublicDownloadable Content
open in viewerThis 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.
- This report represents the work of one or more WPI undergraduate students submitted to the faculty as evidence of completion of a degree requirement. WPI routinely publishes these reports on its website without editorial or peer review.
- Creator
- Publisher
- Identifier
- E-project-121610-122547
- Advisor
- Year
- 2010
- Date created
- 2010-12-16
- Resource type
- Major
- Rights statement
Relations
- In Collection:
Permanent link to this page: https://digital.wpi.edu/show/5x21th271