Dear Researchers;
I found problem in installation of the scyther security protocol verification tool. Any one please suggest installation video or procedure????
Here is an extract from a work by a friend of mine. Maybe it will help:
"To install Scyther, Python sources are downloaded to your local machine. The offered features can be accessed through both the graphical interface provided and the command line. From the point of view of interoperability, the software offers versions compatible with both the Windows operating system and Linux or MacOS. To install this software, you must first install the following components: • GraphViz library - used to draw simulation graphs for the attack attacks after formal analysis; • Python programming language - utility sources are implemented using this programming language; • WxPython library - used to be the application's graphical interface. Installation was performed using a Ubunutu virtual machine version 17.10.1. To install system requirements, run the command: sudo apt-get install python python-wxgtk. After the installation is complete, the scyther-gui.py script runs from the terminal to access the graphical interface. To use the command-line utility, the scyther.py script is run, which receives as input parameters the .spdl extension file along with a series of arguments as follows: • -d - Displays paterns in dot dot; • -x - displays patterns in xml format • -a - generates automated claim events for the verified protocol model; • -r - sets the number of rumors that can be executed. The number of runs can be unbounded; • -A - generates all possible attacks detected for the analyzed protocol."
- Badges
- Science topic
- Similar topics
- Biological Science
- Bioecology
- Systems Ecology
- Landscape Ecology
- Connectivity