7d584cca1e
A first step towards releasing Scyther completely to the public. |
||
---|---|---|
.. | ||
Gui | ||
Images | ||
Protocols | ||
Scripts | ||
Scyther | ||
.gitignore | ||
Changelog.txt | ||
GNU-General-Public-License.txt | ||
INSTALL.txt | ||
mpa.py | ||
mpa.spdl | ||
ns3.spdl | ||
nsl3-broken.spdl | ||
nsl3.spdl | ||
README.txt | ||
scyther-gui.py | ||
scyther-gui.rc | ||
scyther.py | ||
todo.txt |
------------------------------------------------------------------------ Scyther an automatic verification tool for security protocols by Cas Cremers ------------------------------------------------------------------------ Note: This is a BETA release, and therefore the usual warnings apply. 1. More information ======================================================================== For more information, see: http://people.inf.ethz.ch/cremersc/scyther/index.html 2. Starting out ======================================================================== Start the graphical user interface by starting scyther-gui.py Some protocol description files (with extension .spdl) can be found in the base directory. Many other protocol input files can be found in the 'Protocols' directory. 3. Citing Scyther =========================== @phdthesis{cremers06, Author = "Cas Cremers", Title = "Scyther - Semantics and Verification of Security Protocols", school = "Eindhoven University of Technology", publisher = "University Press Eindhoven", year = "2006", }