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, 0.10.0.0
Dependenciesarray (>=0.3 && <0.6), base (==4.*), cmdargs (>=0.10.7), containers (>=0.4.2 && <0.6), 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 && <1.3), safe (>=0.2 && <0.4), tagsoup (>=0.12 && <0.14), time (>=1.1 && <1.5), uniplate (==1.6.*), utf8-string (>=0.3.7)
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
UploadedMon Feb 23 18:46:13 UTC 2015 by SimonMeier
DistributionsNixOS:0.10.0.0
Downloads856 total (108 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