The latest version of cpsa is 4.4.5-0.
cpsa
Version 2.0.0 revision 0 uploaded by JohnRamsdell.
Package meta
- Synopsis
- Symbolic cryptographic protocol analyzer
- Description
The Cryptographic Protocol Shapes Analyzer (CPSA) attempts to enumerate all essentially different executions possible for a cryptographic protocol. We call them the shapes of the protocol. Naturally occurring protocols have only finitely many, indeed very few shapes. Authentication and secrecy properties are easy to determine from them, as are attacks and anomalies.
- Author
- n/a
- Bug reports
- n/a
- Category
- Cryptography
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- ramsdell@mitre.org
- Package URL
- n/a
- Stability
- n/a