| .. | ||
| Gui | ||
| Images | ||
| Protocols | ||
| Scripts | ||
| Scyther | ||
| Time | ||
| .gitignore | ||
| batcher.sh | ||
| Changelog.txt | ||
| combos-book.sh | ||
| combos-ike.sh | ||
| combos-ikev0.sh | ||
| combos-ikev1.sh | ||
| combos-ikev2.sh | ||
| combos-iso.sh | ||
| generate-attack-graphs.py | ||
| GNU-General-Public-License.txt | ||
| INSTALL.md | ||
| json-scyther.py | ||
| make-bsub.py | ||
| mpa.spdl | ||
| notes-brutus-mpa.txt | ||
| ns3.spdl | ||
| nsl3-broken.spdl | ||
| nsl3.spdl | ||
| precompute-ike.sh | ||
| progressbarDummy.py | ||
| README.md | ||
| scyther-gui.py | ||
| scyther-gui.rc | ||
| scyther-manual.pdf | ||
| scyther.py | ||
| test-delta.py | ||
| test-mpa.py | ||
| todo.txt | ||
| wiper.sh | ||
The Scyther tool
Scyther is a tool for the symbolic analysis of security protocols. It is developed by Cas Cremers, and is available from http://www.cs.ox.ac.uk/people/cas.cremers/scyther/index.html.
The below instructions apply only to the distribution version of the Scyther tool. If you are working from the source files, some paths may be slightly different, and it is recommended to follow the instructions in ../README.md.
Running the scyther tool
Graphical user interface
The graphical user interface can be started by running scyther-gui.py,
e.g., enter the following in a terminal and press return
python ./scyther-gui.py
Command-line usage
In the directory ./Scyther there should be an executable for the
Scyther backend. Its name depends on the platform:
scyther-linux(Linux)scyther-w32(Windows)scyther-mac(Mac OS X)
If this executable does not exist, you probably downloaded the source
files, and will need to compile it first. See ../README.md for further
details.
There are also various test scripts (for usage in Linux) in this directory.
Obtaining the sources
Scyther is being developed on Github, and its complete source files are availabe from https://github.com/cascremers/scyther.
Manual
We are currently rewriting the manual. The current (incomplete) distribution version of the manual can be found here:
Protocol Models
The protocol models have the extension .spdl and can be found in the following directories:
- ./Protocols and its subdirectories.
License
Currently the Scyther tool is licensed under the GPL 2, as indicated in the source code. Contact Cas Cremers if you have any questions.