The cpsa package

[Tags: bsd3, program]

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.


Properties

Versions2.0.0, 2.0.2, 2.0.3, 2.0.4, 2.0.5, 2.1.0, 2.1.1, 2.1.2, 2.2.0, 2.2.1, 2.2.2, 2.2.3, 2.2.4, 2.2.5, 2.2.6, 2.2.7, 2.2.8, 2.2.9, 2.2.10, 2.2.11, 2.2.12, 2.2.13, 2.3.0, 2.3.1, 2.3.2, 2.3.3, 2.3.4
Dependenciesbase (<=4.2.0.0), containers
LicenseBSD3
Maintainerramsdell@mitre.org
CategoryCryptography
Executablescpsapp, cpsaparameters, cpsaannotations, cpsashapes, cpsagraph, cpsa
Upload dateMon Mar 15 12:41:51 UTC 2010
Uploaded byJohnRamsdell
Downloads1712 total (155 in last 30 days)

Flags

NameDescriptionDefault
parEnable use of the parallel construct parEnabled
oldEnable support for cabal < 1.6Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info

Downloads

Maintainers' corner

For package maintainers and hackage trustees