Commit Graph

50 Commits

Author SHA1 Message Date
ccremers
3e9b4e2c41 - Oops. 2005-03-14 10:25:40 +00:00
ccremers
64101c6d95 - Added big test script to compare heuristics. 2005-03-14 10:23:31 +00:00
ccremers
1473cb301e - Added bounds settings.
- Improved flags' help text.
2005-03-14 10:19:59 +00:00
ccremers
e73a08a056 - Allow for tests on protocols with no known attacks. 2005-03-14 09:58:44 +00:00
ccremers
160178b0b8 - Improved heuristics comparison. 2005-03-14 09:43:32 +00:00
ccremers
93fc279f9e - Now also compares the number of states. 2005-03-11 20:56:39 +00:00
ccremers
3c48d2382c - Better comparative heuristics. 2005-03-11 20:31:24 +00:00
ccremers
3c5b91e3e3 - Code cleanup. 2005-03-11 20:27:57 +00:00
ccremers
60795919c1 - Fixed a bug in the handling of the '--extra' switch. 2005-03-11 19:47:16 +00:00
ccremers
46974091dc - Added more scoring levels to the comparative heuristics.
- Added option to override cache.
2005-03-11 16:07:31 +00:00
ccremers
b831c755f3 - Filter out some overly zealous server claims. 2005-03-11 15:52:20 +00:00
ccremers
b6808c4c7f - Better summary. 2005-03-11 15:44:50 +00:00
ccremers
988c41705e - Added conclusions. 2005-03-11 14:59:47 +00:00
ccremers
c563547d2d - Added processing script. 2005-03-11 14:59:35 +00:00
ccremers
432b10522c - Comparative heuristics thing now gives a score to each heuristic. 2005-03-11 13:50:55 +00:00
ccremers
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.
2005-03-11 13:44:16 +00:00
ccremers
391033ec3e - Performed some more tests. Stored the results. 2005-03-09 21:41:30 +00:00
ccremers
1dc997aac4 - Added KSL protocol (modified Kerberos)
- Removed bkepk (duplicate of bke)
2005-03-09 12:28:15 +00:00
ccremers
4d6c98046e - Added Woo Lam Pi f (from SPORE) 2005-03-08 20:57:35 +00:00
ccremers
e66c4ebd78 - Multi protocol tests over several matching methods now only report new
attacks.
2005-03-08 14:29:30 +00:00
ccremers
61b3aba459 - Added two versions of the kao-chow protocol.
- Improved the testing scripts.
2005-03-08 14:07:36 +00:00
ccremers
56b083205a - Thought of more todo. 2005-03-06 12:34:02 +00:00
ccremers
7e18b327ee - Added todo list. 2005-03-06 12:33:14 +00:00
ccremers
25d6647f44 - Added some unfolding test options to the multiprotocoltest, making the
shell script obsolete.
2005-03-04 16:56:55 +00:00
ccremers
eec5057460 - Code cleanup.
- Removed the need for local temp files.
2005-03-04 16:23:22 +00:00
ccremers
470da10745 - Applied renaming through to other scripts. 2005-03-04 15:36:37 +00:00
ccremers
ae343413e5 - Better naming. 2005-03-04 15:35:32 +00:00
ccremers
21c3f19f66 - Split cache again out of test program. 2005-03-04 15:34:41 +00:00
ccremers
614b3441ad - Added timeout testing, preliminary. 2005-03-04 14:21:49 +00:00
ccremers
76ad1ec696 - Results that take less than 0.1 seconds are not cached anymore. I
wonder if any protocols are that fast :)
2005-03-04 13:40:23 +00:00
ccremers
531f0aa469 - Turned the scyther.py into a usable standalone file.
- Added error tests.
2005-03-03 15:25:59 +00:00
ccremers
7b8ac9c14a - Renamed scythercache to scyther.py 2005-03-03 14:56:16 +00:00
ccremers
b7c16d8a6b - Changed caching behaviour (more directories will be made)
- Protocol list will be sorted, yielding more efficient caching
  behaviour.
2005-03-03 13:09:21 +00:00
ccremers
1b0b9c7726 - Moved generic functionality from multiprotocoltest to scythercache 2005-03-03 12:36:01 +00:00
ccremers
7fb99b5708 - Improved protocollist lib. 2005-03-03 11:47:53 +00:00
ccremers
f5a6774c0a - Added a good idea to the caching thing. 2005-03-02 20:35:22 +00:00
ccremers
91ed26f1ff - Print the arguments for each protocol count again. 2005-03-02 20:27:20 +00:00
ccremers
fa20f369d2 - Fixed argument printing. 2005-03-02 20:23:43 +00:00
ccremers
fd6d8f7880 - Cleanup of the output printing
- Fixed a bounds error (for single protocols)
2005-03-02 20:17:21 +00:00
ccremers
e2df02000f - Added options to supress the progress bar with e.g. -B 2005-03-02 20:12:06 +00:00
ccremers
282504c8cc - Improved the arguments adapting to the input stuff (e.g. number of
protocols)
- Improved many protocols by adding agreement claims.
2005-03-02 19:57:05 +00:00
ccremers
8e4e0275e8 - Moved the tests into default arguments 2005-03-02 16:28:09 +00:00
ccremers
f4c80a3599 - Better test setup. Still not very good, though. 2005-03-02 15:29:46 +00:00
ccremers
9c05d2ac3a - Fixed outputting the command string. Broken bij the previous work. 2005-03-02 15:21:55 +00:00
ccremers
1b4e00b49f - Caching is working nicely now. 2005-03-02 15:09:29 +00:00
ccremers
6e77e7cf93 - First integration steps, untested. 2005-03-02 15:02:34 +00:00
ccremers
9533f6f548 - Started to work on a caching mechanism. 2005-03-02 14:28:41 +00:00
ccremers
aa70b19142 - Accomodations for better n-protocol attacks detection. 2005-02-19 14:35:31 +00:00
ccremers
c354401d16 - Added a more generic tuplesdo.py 2005-01-20 15:47:23 +00:00
ccremers
094267cd03 - Moved scripts to test directory. Broken commit: paths are all wrong
now.
2005-01-20 14:40:52 +00:00