@hackage scyther-proof0.10.0.0

Automatic generation of Isabelle/HOL correctness proofs for security protocols.

Categories
License
LicenseRef-GPL
Maintainer
Simon Meier <iridcode@gmail.com>
Links
Versions
- 0.10.0.1 Sun, 21 Jun 2015
- 0.10.0.0 Mon, 23 Feb 2015
- 0.8.0.0 Tue, 4 Feb 2014
- 0.6.0.0 Mon, 4 Mar 2013
- 0.5.0.0 Fri, 29 Jun 2012
- 0.4.1.0 Mon, 14 May 2012

Installation
In your cabal file:
Dependencies (0)
- array >=0.3 && <0.6
- base >=4 && <5
- containers >=0.4.2 && <0.6
- directory >=1.0 && <1.3
- filepath >=1.2 && <1.4
- mtl >=2.1 && <3.0
Dependents (1)
@hackage/acme-everything

Package Flags

threaded

(on by default)

Build with support for multithreaded execution

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.