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, 2.3.5, 2.4.0
Dependenciesbase (<=4.2.0.0), containers
LicenseBSD3
Maintainerramsdell@mitre.org
CategoryCryptography
Executablescpsapp, cpsaparameters, cpsaannotations, cpsashapes, cpsagraph, cpsa
UploadedMon Mar 15 12:41:51 UTC 2010 by JohnRamsdell
Downloads2820 total (158 in last 30 days)
StatusDocs pending
Build status unknown [no reports yet]

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