@hackage scyther-proof0.3.0

scyther-proof is a security protocol verification tool based on a similar algorithm as the Scyther tool developed by Cas Cremers (http:/people.inf.ethz.chcremerscscytherindex.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. Parts of the infrastructure underlying scyther-proof are reused in other projects by the same author. Therefore, most of its modules are exported in the corresponding scyther-proof library. However, this library is not yet thought for general use. Please contact the author, if you would like to build upon/extend scyther-proof.