The scyther-proof package

[Tags: gpl, program]

scyther-proof is a security protocol verification tool based on an algorithm similar to the Scyther tool developed by Cas Cremers (http://people.inf.ethz.ch/cremersc/scyther/index.html). The theory underlying scyther-proof is described in the 2013 Journal of Computer Security paper "Efficient Construction of Machine-Checked Protocol Security Proofs" by Meier, Cremers, and Basin available from https://github.com/meiersi/scyther-proof/tree/master/publications.


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 && <0.5), base (==4.*), cmdargs (>=0.10.7), containers (>=0.4.2 && <0.5), directory (>=1.0 && <1.3), filepath (>=1.2 && <1.4), json (==0.5.*), mtl (>=2.1 && <3.0), parsec (==3.1.*), pretty (>=1.0 && <1.2), process (==1.1.*), safe (>=0.2 && <0.4), tagsoup (==0.12.*), time (>=1.1 && <1.3), uniplate (==1.6.*)
LicenseGPL
CopyrightSimon Meier, Andreas Lochbihler, ETH Zurich, 2009-2013
AuthorSimon Meier <iridcode@gmail.com>, Andreas Lochbihler <andreas.lochbihler@inf.ethz.ch>
MaintainerSimon Meier <iridcode@gmail.com>
StabilityBeta
CategorySecurity, Theorem Provers
Source repositoryhead: git clone https://github.com/meiersi/scyther-proof.git
Executablesscyther-proof
UploadedTue Feb 4 16:24:51 UTC 2014 by lochbihl
Downloads653 total (36 in last 30 days)
StatusDocs pending
Build status unknown [no reports yet]

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