Cas Cremers

Scyther tool: Compromising Adversaries version

Protocol models

This version of Scyther supports all protocols available for the regular version. Additionally, many protocols that are more resilient against compromising adversaries are included in the distribution. You can directly access the additional protocol models here.

Generating a protocol-security hierarchy

1. Extract the archive and run the test-adversary-models.py python script with the --paper switch to generate the adversary-model hierarchy and protocol-security hierarchy, e.g., type on the command line in this directory:

           ./test-adversary-models.py --paper
           

   and hit enter.
2. If you're prompted for missing dependencies (such as Graphviz), or things just don't work, it may be useful to look at the main Scyther page on how to install Scyther successfully. Note that a warning for the 'progressbar' library may appear but this is not strictly needed to run the script; you will only not see, guess what, a progress bar.
3. The script should finish fast (a few seconds) as it is using data stored in a cache file. You may manually remove the cache file to recompute the results. Details are displayed when running the test script.
4. The protocol description files used for the tests are located in the Protocols/AdversaryModels/ subdirectory.

Using the graphical user interface

1. Run scyther-gui.py to start the graphical user interface as you would for the normal version of Scyther. The options for setting the adversary-compromise models can be found under the second tab.