sylv/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • b86c60240c - Adding more Woo Lam variants gijs 2005-05-23 12:00:33 +00:00
  • 673e0218c5 - Adding Woo and Lam - Adding Woo and Lam Pi (includes a possible attack that is not listed in SPORE) gijs 2005-05-23 11:39:13 +00:00
  • 5570389c16 - A first generalization of NSL. ccremers 2005-05-23 10:36:42 +00:00
  • 0540b744e2 - Repaired a pruning method that still needed a lemma. It was a bit overzealous and killed a woolam-mutual attack. ccremers 2005-05-19 14:43:32 +00:00
  • 5ddcbd0fe5 - Adding Wide Mouther Frog and modified versions gijs 2005-05-18 12:17:08 +00:00
  • cbb617b3a1 - Adding CJ modified version of splice protocol - Adding tmn - Fixed a modelling error in splice gijs 2005-05-18 11:43:42 +00:00
  • ee3b996ff7 Adding two variants of splice as, based on the version in spdl, but using normalized role names. gijs 2005-05-18 09:47:06 +00:00
  • f22ce0dcb9 - Big change in the Arachne algorithm: decryptor sequences now get expanded explicitly. This solves a long-standing issue with {k}k decryption to yield k. Needs some testing to ensure that it did not introduce any new errors. ccremers 2005-05-17 18:45:01 +00:00
  • 2110206d80 - Adding otway rees and smart right protocols gijs 2005-05-17 14:01:48 +00:00
  • b5af43294e - Added inverse keys to output. ccremers 2005-05-17 13:00:45 +00:00
  • ffaf0d2ded - Filtered out uninteresting claim events in attack descriptions. This was already being done in the script by Gijs. I only added it to make the XML output more readable for humans. ccremers 2005-05-13 13:40:37 +00:00
  • 8b51593cf5 - Each attack now includes * Initial knowledge * Role definitions for protocols involved ccremers 2005-05-12 14:52:50 +00:00
  • ae7c5c653f Adding the symmetric key variants of Needham Schroeder gijs 2005-05-12 13:32:30 +00:00
  • a856e795b0 - Reindented stuff (this was needed, really) ccremers 2005-05-12 13:19:32 +00:00
  • d02621c608 - Added XML term output to Scyther. This meant in fact that a lot had to be recoded, avoiding e.g. label="<term ..." constructs. Therefore, many attributes have changes into elements. Beware. - Made bindings implicit to events using <follows> and <after> constructs. Also added a new <choose> for unbound simple variables. ccremers 2005-05-12 13:18:37 +00:00
  • 52e38f40e6 Fixed scenario for needham-schroeder and added needham-shroeder-lowe gijs 2005-05-12 12:27:18 +00:00
  • 2a1cc10258 Adding SPORE's vision on the needham-schroeder protocol gijs 2005-05-12 12:05:13 +00:00
  • 3fba68b240 - Whoops, stupid sloppy switch code rewriters ought to be punished. ccremers 2005-05-12 11:59:31 +00:00
  • 2e4c5afeb7 - Added a strange issue, to be resolved tomorrow. ccremers 2005-05-11 15:18:32 +00:00
  • 0930556f2e Fix the protocol name in denning-sacco-lowe gijs 2005-05-10 14:08:51 +00:00
  • 934eb3fd2a - Oops, sloppy. (It's good to have a beta tester homey.) ccremers 2005-05-04 12:06:30 +00:00
  • 3bbaf0fc97 - Added scyther wrapper tag (cf. GH bug report) - Fixed binding closure (cf. GH bug report) - Reduced indenting to two instead of three spaces. ccremers 2005-05-03 09:45:54 +00:00
  • 71558706a6 - XML output should be workable now. ccremers 2005-05-02 13:38:45 +00:00
  • 018f54a904 - Added Hwang's modified version of Neumann Stubblebine gijs 2005-05-02 10:52:03 +00:00
  • 637fe566f0 - Add KSL, Lowe modified KSL - Add Neumann Stubblebine gijs 2005-05-02 10:44:07 +00:00
  • 489e8394b0 - Adding Kao Chow - Adding Dennig Sacco - Updated not modelled file to include DH, GJM and Gong gijs 2005-05-02 09:24:26 +00:00
  • 924abc065d - Added xml output switch (-x, check scyther --help). It's not complete yet, to be finished tomorrow. ccremers 2005-05-01 13:32:50 +00:00
  • 3682e3ab24 - Adding 2 more CCITT509 derived protocols gijs 2005-04-29 14:19:07 +00:00
  • 87c49850b4 - read should be labeled 1 to make it match with the first send gijs 2005-04-29 13:28:15 +00:00
  • f206d4258f - Events now always require a label. ccremers 2005-04-29 13:25:43 +00:00
  • 6f6cb322dc - Fixed a protocol. The BNF of Scyther allows for non-labeled events; however, later this was changed, and now the tool assumes that events have labels. This should be explicitly checked of course. ccremers 2005-04-29 13:21:59 +00:00
  • 113a3c5dfc - Adding NotModelled.txt, describing which SPORE protocols have not been modelled and why - Adding ccitt509 and friends gijs 2005-04-29 13:14:23 +00:00
  • 0b22c4a4bb - Created a directory to hold spdl files of all protocols in SPORE - Import Andrew secure RPC and derived protocols gijs 2005-04-29 10:50:53 +00:00
  • 38f6f42351 - Fail increases of claims moved to violateClaim; thus, other references were in fact redundant. ccremers 2005-04-27 13:48:00 +00:00
  • 7c0507a900 - Fixed bug where claim fails were not counted in the modelchecker, as reported bij GH. Attacks were indicated, though, so this only caused problems for users using --summary and not looking at the "attack: L:?" field. ccremers 2005-04-27 11:43:47 +00:00
  • b00cabe35a - Added Gijs' version of TMN (for debugging) ccremers 2005-04-27 11:18:08 +00:00
  • 18d523d8a4 - Fixed segfault when modelchecker was called on an empty scenario. ccremers 2005-04-22 16:03:58 +00:00
  • 5b3e177e2d - Fixes. ccremers 2005-04-21 12:13:04 +00:00
  • 8e1041b567 - Minor output fixes. ccremers 2005-04-21 12:04:45 +00:00
  • 9271cc7624 - Matching method propagation was wrong in new switch code. - Some fixes for protocols that do not include matching send/read combo's. In particular, the max encryption level method ranged over the sends; now over all events. Maybe it can range over read events only? ccremers 2005-04-18 05:51:25 +00:00
  • 06a0a6c234 - Added 2r890 exercise 3, year 2004/2005. Check with assignment notes because I did them off the top of my head. ccremers 2005-04-18 05:48:28 +00:00
  • de2c9c0127 - Added 5 run version as well. ccremers 2005-04-17 10:32:49 +00:00
  • 99088a7723 - Added n runs protocol example. ccremers 2005-04-17 10:30:54 +00:00
  • f9a97fb481 - Stupid typo fix. ccremers 2005-04-15 14:33:18 +00:00
  • 771fa8cc92 - Some more interface improvements. - Hardcoded reference to wiki pages. ccremers 2005-04-15 14:31:32 +00:00
  • 89d7fd696a - Added more explanations. ccremers 2005-04-15 13:07:57 +00:00
  • 1f8d9dbe5e - Performad a big cleanup of the switches, making the resulting list more compact and more useful. * Hiding of 'discouraged' options: these should not be used by e.g. students. * Hiding of 'unimportant' options: not harmful, but not often used either. ccremers 2005-04-15 10:04:05 +00:00
  • a06b3037a4 - Added Scons suggestion. ccremers 2005-04-15 10:02:22 +00:00
  • 3ba39a3a51 - Removed some older debug stuff. ccremers 2005-04-10 15:40:33 +00:00
  • 4919cf2a2d - Some consistency fixes after removing argtable2 dependency. ccremers 2005-04-10 15:36:41 +00:00
  • 738a2b5859 - Rewrote complete switch code. Scyther now no longer depends on argtable2. Great. ccremers 2005-04-10 15:30:47 +00:00
  • eafa8a6d14 - Oops, forgot to rename the protocol (for multi-protocol analysis) ccremers 2005-04-04 14:06:57 +00:00
  • 1c72acc47f - Added BKE variant which is used in an exercise for 2R890. ccremers 2005-04-04 13:50:59 +00:00
  • 73b0f8a4a5 - Slight comment mod. ccremers 2005-04-03 09:54:05 +00:00
  • 1adb90e6a9 - Simple occurrence test. ccremers 2005-03-24 15:25:43 +00:00
  • 2baf88bf47 - Rewrote some of the code comments. ccremers 2005-03-21 08:40:21 +00:00
  • 6378fedcc8 - There's nothing wrong with Denning-Sacco shared. ccremers 2005-03-14 13:44:32 +00:00
  • 0758da468f - Added important remark. ccremers 2005-03-14 13:42:15 +00:00
  • 3a53ca3e6b - 20 minutes should be a reasonable time bound... ccremers 2005-03-14 12:16:48 +00:00
  • 3e9b4e2c41 - Oops. ccremers 2005-03-14 10:25:40 +00:00
  • 64101c6d95 - Added big test script to compare heuristics. ccremers 2005-03-14 10:23:31 +00:00
  • 1473cb301e - Added bounds settings. - Improved flags' help text. ccremers 2005-03-14 10:19:59 +00:00
  • e73a08a056 - Allow for tests on protocols with no known attacks. ccremers 2005-03-14 09:58:44 +00:00
  • 160178b0b8 - Improved heuristics comparison. ccremers 2005-03-14 09:43:32 +00:00
  • 93fc279f9e - Now also compares the number of states. ccremers 2005-03-11 20:56:39 +00:00
  • 88e2f3d26c - Added a better reverse-engineered variation of the Athena goal selector. - Added an idea that might make searches somewhat faster. ccremers 2005-03-11 20:41:59 +00:00
  • 3c48d2382c - Better comparative heuristics. ccremers 2005-03-11 20:31:24 +00:00
  • 3c5b91e3e3 - Code cleanup. ccremers 2005-03-11 20:27:57 +00:00
  • 60795919c1 - Fixed a bug in the handling of the '--extra' switch. ccremers 2005-03-11 19:47:16 +00:00
  • 46974091dc - Added more scoring levels to the comparative heuristics. - Added option to override cache. ccremers 2005-03-11 16:07:31 +00:00
  • b831c755f3 - Filter out some overly zealous server claims. ccremers 2005-03-11 15:52:20 +00:00
  • b6808c4c7f - Better summary. ccremers 2005-03-11 15:44:50 +00:00
  • 988c41705e - Added conclusions. ccremers 2005-03-11 14:59:47 +00:00
  • c563547d2d - Added processing script. ccremers 2005-03-11 14:59:35 +00:00
  • 432b10522c - Comparative heuristics thing now gives a score to each heuristic. ccremers 2005-03-11 13:50:55 +00:00
  • ee0e401190 - A large number of fixes and additions to the test programs. * More default options (e.g. --program) * Results testing - Added a heuristics comparison test. ccremers 2005-03-11 13:44:16 +00:00
  • 391033ec3e - Performed some more tests. Stored the results. ccremers 2005-03-09 21:41:30 +00:00
  • 1dc997aac4 - Added KSL protocol (modified Kerberos) - Removed bkepk (duplicate of bke) ccremers 2005-03-09 12:28:15 +00:00
  • 4d6c98046e - Added Woo Lam Pi f (from SPORE) ccremers 2005-03-08 20:57:35 +00:00
  • e66c4ebd78 - Multi protocol tests over several matching methods now only report new attacks. ccremers 2005-03-08 14:29:30 +00:00
  • 61b3aba459 - Added two versions of the kao-chow protocol. - Improved the testing scripts. ccremers 2005-03-08 14:07:36 +00:00
  • 560acb220d - Removed an obsolete warning about -m2 ccremers 2005-03-08 13:54:13 +00:00
  • c8df32c7a2 - Minor improvements. * Old bindings detections (immediately binds them to older binding) * Know_only derivation for keylevel lemmas. ccremers 2005-03-08 13:02:16 +00:00
  • 291353a14f - Improved version of the latex renderer of arachne attacks. Still not usable, however. ccremers 2005-03-07 19:02:08 +00:00
  • 197117f2fe - Made a start with the arachne latex output. It's a mess currently. ccremers 2005-03-07 15:38:01 +00:00
  • 56b083205a - Thought of more todo. ccremers 2005-03-06 12:34:02 +00:00
  • 7e18b327ee - Added todo list. ccremers 2005-03-06 12:33:14 +00:00
  • 25d6647f44 - Added some unfolding test options to the multiprotocoltest, making the shell script obsolete. ccremers 2005-03-04 16:56:55 +00:00
  • eec5057460 - Code cleanup. - Removed the need for local temp files. ccremers 2005-03-04 16:23:22 +00:00
  • 470da10745 - Applied renaming through to other scripts. ccremers 2005-03-04 15:36:37 +00:00
  • ae343413e5 - Better naming. ccremers 2005-03-04 15:35:32 +00:00
  • 21c3f19f66 - Split cache again out of test program. ccremers 2005-03-04 15:34:41 +00:00
  • 614b3441ad - Added timeout testing, preliminary. ccremers 2005-03-04 14:21:49 +00:00
  • 76ad1ec696 - Results that take less than 0.1 seconds are not cached anymore. I wonder if any protocols are that fast :) ccremers 2005-03-04 13:40:23 +00:00
  • 533cf46080 - Using the scyther.py -e command, I found and fixed some errors. ccremers 2005-03-03 15:29:35 +00:00
  • 531f0aa469 - Turned the scyther.py into a usable standalone file. - Added error tests. ccremers 2005-03-03 15:25:59 +00:00
  • 7b8ac9c14a - Renamed scythercache to scyther.py ccremers 2005-03-03 14:56:16 +00:00
  • b7c16d8a6b - Changed caching behaviour (more directories will be made) - Protocol list will be sorted, yielding more efficient caching behaviour. ccremers 2005-03-03 13:09:21 +00:00
  • 1b0b9c7726 - Moved generic functionality from multiprotocoltest to scythercache ccremers 2005-03-03 12:36:01 +00:00
  • 7fb99b5708 - Improved protocollist lib. ccremers 2005-03-03 11:47:53 +00:00