The latest version of scyther-proof is 0.10.0.1-0.
scyther-proof
Version 0.8.0.0 revision 0 uploaded by lochbihl.
Package meta
- Synopsis
- Automatic generation of Isabelle/HOL correctness proofs for security protocols.
- Description
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.
- Author
- Simon Meier <iridcode@gmail.com>, Andreas Lochbihler <andreas.lochbihler@inf.ethz.ch>
- Bug reports
- n/a
- Category
- Security, Theorem Provers
- Copyright
- Simon Meier, Andreas Lochbihler, ETH Zurich, 2009-2013
- Homepage
- n/a
- Maintainer
- Simon Meier <iridcode@gmail.com>
- Package URL
- n/a
- Stability
- Beta