The latest version of scyther-proof is 0.10.0.1-0.
scyther-proof
Version 0.3.0 revision 0 uploaded by SimonMeier.
Package meta
- Synopsis
- Automatic generation of Isabelle/HOL correctness proofs for security protocols.
- Description
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.
- Author
- Simon Meier <simon.meier@inf.ethz.ch>
- Bug reports
- n/a
- Category
- Security, Theorem Provers
- Copyright
- Simon Meier, ETH Zurich, 2009-2011
- Homepage
- http://www.infsec.ethz.ch/people/meiersi/
- Maintainer
- Simon Meier <simon.meier@inf.ethz.ch>
- Package URL
- n/a
- Stability
- Beta