CPSA: An Accessible Protocol Analysis and Design Tool: Moses Liskov, MITRE (BUSec Seminar)
- Starts: 10:00 am on Wednesday, March 26, 2014
- Ends: 11:00 am on Wednesday, March 26, 2014
Abstract: The Cryptographic Protocol Shapes Analyzer (CPSA) is an open-source tool that attempts to enumerate all essentially different possible executions of a protocol given some initial assumptions. We call such executions the “shapes” of the protocol. Many naturally occurring protocols have only finitely many, indeed very few shapes. Flaws in a protocol’s design can be observed clearly in the shapes. This allows a protocol designer to obtain frequent feedback during the design process, even without a rigorous articulation of the protocol’s security goals.
- MCS 137