hackage.haskell.org : scyther-proof
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.
Registry
- JSON
purl: pkg:hackage/scyther-proof
Keywords:
program
, security
, theorem-provers
, Propose Tags
License: Other
Latest release: about 13 years ago
First release: about 14 years ago
Downloads: 6,690 total
Last synced: 26 days ago