@hackage scyther-proof0.5.0.0

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

Categories
License
LicenseRef-GPL
Maintainer
Simon Meier <simon.meier@inf.ethz.ch>
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.5
- base >=4 && <5
- containers >=0.4.2 && <0.5
- directory >=1.0 && <1.3
- filepath >=1.2 && <1.4
- mtl >=2.0 && <2.1
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 paper "Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs" by Meier, Cremers, and Basin available from http://people.inf.ethz.ch/meiersi/publications/index.html

@hackage scyther-proof0.5.0.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (1)

Package Flags