36 lines
857 B
Plaintext
36 lines
857 B
Plaintext
------------------------------------------------------------------------
|
|
|
|
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.
|
|
|
|
|
|
|