The scyther-proof package

[Tags: gpl, program]

scyther-proof is a security protocol verification tool based on a similar algorithm as the Scyther tool developed by Cas Cremers (http:people.inf.ethz.chcremerscscyther/index.html). The theory underlying scyther-proof is described in the paper Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs by Meier, Cremers, and Basin. Parts of the infrastructure underlying scyther-proof are reused in other projects by the same author. Therefore, most of its modules are exported in the corresponding scyther-proof library. However, this library is not yet thought for general use. Please contact the author, if you would like to build upon/extend scyther-proof.


Properties

Versions0.3.0, 0.3.1, 0.4.0, 0.4.1.0, 0.5.0.0, 0.6.0.0, 0.8.0.0
Dependenciesarray (==0.3.*), base (==4.*), cmdargs (>=0.6.8 && <0.7), containers (>=0.3 && <0.5), directory (>=1.0 && <1.2), filepath (>=1.1 && <1.3), json (==0.4.*), mtl (==2.0.*), parsec (==3.1.*), pretty (==1.0.*), process (==1.0.*), safe (==0.2.*), tagsoup (==0.12.*), time (>=1.1 && <1.3), uniplate (==1.6.*)
LicenseGPL
CopyrightSimon Meier, ETH Zurich, 2009-2011
AuthorSimon Meier <simon.meier@inf.ethz.ch>
MaintainerSimon Meier <simon.meier@inf.ethz.ch>
StabilityBeta
CategorySecurity, Theorem Provers
Home pagehttp://www.infsec.ethz.ch/people/meiersi/
Executablesscyther-proof
Upload dateFri May 13 18:37:08 UTC 2011
Uploaded bySimonMeier
Downloads431 total (22 in last 30 days)

Modules

[Index]

Flags

NameDescriptionDefault
threadedBuild with support for multithreaded executionEnabled

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