scyther/gui
2007-05-03 13:26:04 +00:00
..
Gui - Errors now get a nice colour 2007-01-31 15:45:05 +00: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 - New binaries 2007-05-03 13:26:04 +00:00
Changelog.txt - Errors now get a nice colour 2007-01-31 15:45:05 +00: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",
}