History

Cas Cremers c9b1d08f4f Hack for Windows users to compensate for Graphviz "feature". Recent versions of Graphviz no longer set the PATH variable on Windows. Hence Scyther can fail to find dot.exe even though Graphviz was appropriately installed. This patch is a hack to try and locate dot.exe in the more common locations. We currently have a hardcoded search through: C:\Program Files\Graphviz* C:\Program Files (x86)\Graphviz* This is clearly fragile. Obviously, nobody should be solving Graphviz' problem in such an ugly way. Change drives or languages and it stops working. Until Graphviz provides at least an alternative environment variable (GVPATH?) this hack will help the bulk of our users to get things up and running smoothly.		2013-12-09 14:24:57 +00:00
..
Gui	Hack for Windows users to compensate for Graphviz "feature".	2013-12-09 14:24:57 +00:00
Images	- Reinstated the graphical about screen.	2007-01-27 22:52:22 +00:00
Protocols	Updated Denning-Sacco-Lowe note.	2013-08-23 15:15:19 +02:00
Scripts	Updating time stamps for next release.	2013-10-05 23:56:12 +01:00
Scyther	Hack for Windows users to compensate for Graphviz "feature".	2013-12-09 14:24:57 +00:00
Time	Added initial test script for the constraint solver module.	2008-03-14 00:01:25 +01:00
.gitignore	More ignore patterns.	2011-03-31 15:01:13 +02:00
batcher.sh	More comments.	2011-03-31 15:01:50 +02:00
Changelog.txt	Updated changelog.	2013-10-13 10:34:49 +01:00
combos-book.sh	Added test scripts for book and iso.	2011-01-25 10:24:37 +01:00
combos-ike.sh	Adding missing scripts.	2011-03-31 15:00:56 +02:00
combos-ikev0.sh	Adding missing scripts.	2011-03-31 15:00:56 +02:00
combos-ikev1.sh	Adding missing scripts.	2011-03-31 15:00:56 +02:00
combos-ikev2.sh	Adding missing scripts.	2011-03-31 15:00:56 +02:00
combos-iso.sh	ISO test script now points to Scyther models in papers directory.	2011-09-23 11:24:02 +02:00
generate-attack-graphs.py	Updating time stamps for next release.	2013-10-05 23:56:12 +01:00
GNU-General-Public-License.txt	Added GPL 2 License to the C sources.	2007-06-11 14:01:04 +02:00
INSTALL.txt	Updating INSTALL file.	2013-05-24 12:32:04 +02:00
json-scyther.py	Updating time stamps for next release.	2013-10-05 23:56:12 +01:00
make-bsub.py	Adding make-bsub.py, which is needed by batcher.sh.	2011-01-26 13:21:02 +01:00
mpa.spdl	Synchronising MPA branch with compromise branch where possible.	2012-04-25 17:03:51 +02:00
notes-brutus-mpa.txt	Improving some scripts; exploit cache better.	2011-03-31 15:02:49 +02:00
ns3.spdl	Added weak agreement claims to NS.	2012-05-01 16:37:04 +02:00
nsl3-broken.spdl	Synchronising MPA branch with compromise branch where possible.	2012-04-25 17:03:51 +02:00
nsl3.spdl	Adding weakagree claim to nsl3.	2012-05-02 10:15:33 +02:00
precompute-ike.sh	Adding missing scripts.	2011-03-31 15:00:56 +02:00
progressbarDummy.py	Updating time stamps for next release.	2013-10-05 23:56:12 +01:00
README.md	Updated changelogs and readme's.	2012-12-17 11:26:04 +01:00
scyther-gui.py	Hack for Windows users to compensate for Graphviz "feature".	2013-12-09 14:24:57 +00:00
scyther-gui.rc	- Added a windows resource file.	2006-08-09 09:13:39 +00:00
scyther-manual.pdf	Updated manual.	2013-10-12 20:12:01 +01:00
scyther.py	Updating time stamps for next release.	2013-10-05 23:56:12 +01:00
test-delta.py	Updating time stamps for next release.	2013-10-05 23:56:12 +01:00
test-mpa.py	Updating time stamps for next release.	2013-10-05 23:56:12 +01:00
todo.txt	Synchronising MPA branch with compromise branch where possible.	2012-04-25 17:03:51 +02:00
wiper.sh	Added some minimal explanation to the wiper script.	2011-09-23 11:24:02 +02:00

README.md

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://people.inf.ethz.ch/cremersc/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:

./scyther-manual.pdf

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.