------------------------------------------------------------------------
Scyther
1.0-beta5
an automatic verification tool for security protocols
by Cas Cremers
Microsoft Windows binary
and
Linux binary (compiled for Linux i686 environments)
------------------------------------------------------------------------
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
SPORE 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",
}
