55 lines
1.3 KiB
Plaintext
55 lines
1.3 KiB
Plaintext
------------------------------------------------------------------------
|
|
|
|
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"
|
|
}
|
|
|
|
|