The latest version of cpsa is 4.4.5-0.

cpsa

Version 2.0.2 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

Components