------------------------------------------------------------------------
Scyther
1.0-beta4
a 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://www.win.tue.nl/~ccremers/scyther
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
===========================
For now, there is no official journal paper to cite yet, but you can use
the following information:
@misc{wwwscyther,
Author = "C.J.F. Cremers",
Title = "The Scyther Tool : Automated Verification of Security Protocols",
Note = "\url{http://www.win.tue.nl/~ccremers/scyther}",
url = "http://www.win.tue.nl/~ccremers/scyther"
}
