scyther

History

Cas Cremers ba5166bd84 NEW: Added environment variable "SCYTHERCACHEDIR" to determine cache usage. If this variable is unset, Scyther writes into /tmp/Scyther-cache (or similar). If this variable is set to "", caching is disabled. Otherwise, Scyther writes into $SCYTHERCACHEDIR/Scyther-cache		2012-12-06 10:17:53 +01:00
..
Gui	BUGFIX: Opening files was not always performing as expected. Fixed now.	2012-10-02 13:42:48 +02:00
Images	- Reinstated the graphical about screen.	2007-01-27 22:52:22 +00:00
Protocols	Added Wimax models from compositionality paper.	2012-11-27 21:56:05 +01:00
Scripts	Added regression test script.	2012-06-12 23:12:14 +02:00
Scyther	NEW: Added environment variable "SCYTHERCACHEDIR" to determine cache usage.	2012-12-06 10:17:53 +01: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	Synchronising MPA branch with compromise branch where possible.	2012-04-25 17:03:51 +02: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
GNU-General-Public-License.txt	Added GPL 2 License to the C sources.	2007-06-11 14:01:04 +02:00
INSTALL.txt	Updated install document.	2011-03-31 15:03:58 +02:00
json-scyther.py	Updated dates.	2012-04-24 13:56:51 +02: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	Updated dates.	2012-04-24 13:56:51 +02:00
README.txt	Removed obsolete bibliography data from README.	2010-05-02 23:37:07 +02:00
scyther-gui.py	Catching other error message for wrong architecture.	2012-11-23 09:25:19 +01:00
scyther-gui.rc	- Added a windows resource file.	2006-08-09 09:13:39 +00:00
scyther.py	Updated dates.	2012-04-24 13:56:51 +02:00
test-delta.py	Updated dates.	2012-04-24 13:56:51 +02:00
test-mpa.py	Updated dates.	2012-04-24 13:56:51 +02: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.txt

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

				Scyther

	  an automatic verification tool for security protocols
			     by Cas Cremers

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


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
'Protocols' directory.