The scyther-proof package

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

Versions	0.3.0, 0.3.1, 0.4.0, 0.4.1.0, 0.5.0.0, 0.6.0.0
Dependencies	array (≥0.3 & <0.5), base (4.), cmdargs (≥0.6.8 & <0.7), containers (≥0.4.2 & <0.5), directory (≥1.0 & <1.3), filepath (≥1.2 & <1.4), json (0.5.), mtl (2.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.*)
License	GPL
Copyright	Simon Meier, Andreas Lochbihler, ETH Zurich, 2009-2013
Author	Simon Meier <iridcode@gmail.com>, Andreas Lochbihler <andreas.lochbihler@inf.ethz.ch>
Maintainer	Simon Meier <iridcode@gmail.com>
Stability	Beta
Category	Security, Theorem Provers
Source repository	git clone https://github.com/meiersi/scyther-proof.git
Executables	scyther-proof
Upload date	Mon Mar 4 09:17:24 UTC 2013
Uploaded by	SimonMeier