scyther/gui
2007-05-19 15:32:58 +02:00
..
Gui - Factored out the safe external command process. It turns out that the shell should not be used under windows Popen, but on the other hand is must be used under Linux. 2007-05-19 15:32:58 +02:00
Images - Reinstated the graphical about screen. 2007-01-27 22:52:22 +00:00
Scripts - Fixed scytherview script. 2006-12-13 09:40:53 +00:00
Scyther - Factored out the safe external command process. It turns out that the shell should not be used under windows Popen, but on the other hand is must be used under Linux. 2007-05-19 15:32:58 +02:00
src - Big restructuring of the directories 2007-05-17 17:28:10 +02:00
.gitignore - Big catchup commit to make sure we are up to beta7. 2007-05-18 14:06:29 +02:00
Changelog.txt - Added further notes 2007-05-17 17:35:47 +02:00
INSTALL.txt - Improved documentation. 2006-08-11 17:52:44 +00:00
mpa.py - Improved error handling: any Scyther errors now raise an exception. 2007-01-27 21:42:16 +00:00
mpa.spdl - Some fixes. 2006-08-09 11:36:33 +00:00
ns3.spdl - Added gui. 2006-08-02 12:59:57 +00:00
nsl3-broken.spdl - More fixes for beta5 2006-12-13 13:08:33 +00:00
nsl3.spdl - Added gui. 2006-08-02 12:59:57 +00:00
README.txt - More fixes for beta5 2006-12-13 13:08:33 +00:00
scyther-gui.py - Reinstated the graphical about screen. 2007-01-27 22:52:22 +00:00
scyther-gui.rc - Added a windows resource file. 2006-08-09 09:13:39 +00:00
scyther.py - Misc fixes, todo list. 2006-08-08 16:16:28 +00:00
todo.txt - Improved stuff for mpa attacks. 2006-08-11 17:25:34 +00:00

------------------------------------------------------------------------

				Scyther

			       1.0-beta5

	  an automatic verification tool for security protocols
			     by Cas Cremers

			Microsoft Windows binary
				  and
	   Linux binary (compiled for Linux i686 environments)

------------------------------------------------------------------------


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
SPORE directory.


3. Citing Scyther
===========================

@phdthesis{cremers06,
  Author    = "Cas Cremers",
  Title     = "Scyther - Semantics and Verification of Security Protocols",
  school    = "Eindhoven University of Technology",
  publisher = "University Press Eindhoven",
  year      = "2006",
}