name: scyther-proof
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
&quot;Efficient Construction of
Machine-Checked Protocol Security Proofs&quot;
by Meier, Cremers, and Basin available from
https://github.com/meiersi/scyther-proof/tree/master/publications.
license_spdx: Other
version: 0.10.0.1
spec_version: 1.0
download_url: http://hackage.haskell.org/package/scyther-proof-0.10.0.1/scyther-proof-0.10.0.1.tar.gz
news_url: https://libraries.io/hackage/scyther-proof/versions.atom
date: 2015-06-21
about_resource: NONE
libraries_io_url: https://libraries.io/hackage/scyther-proof?number=0.10.0.1
vcs_tool: git
vcs_repository: https://github.com/meiersi/scyther-proof
vcs_branch: master
