andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
1,446 Commits 1 Branch 0 Tags 21 MiB
19359f9ba9
Commit Graph

1446 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
gijs
0930556f2e Fix the protocol name in denning-sacco-lowe 2005-05-10 14:08:51 +00:00
ccremers
934eb3fd2a - Oops, sloppy. (It's good to have a beta tester homey.) 2005-05-04 12:06:30 +00:00
ccremers
3bbaf0fc97 - Added scyther wrapper tag (cf. GH bug report) 
- Fixed binding closure (cf. GH bug report)
- Reduced indenting to two instead of three spaces.
 2005-05-03 09:45:54 +00:00
ccremers
71558706a6 - XML output should be workable now. 2005-05-02 13:38:45 +00:00
gijs
018f54a904 - Added Hwang's modified version of Neumann Stubblebine 2005-05-02 10:52:03 +00:00
gijs
637fe566f0 - Add KSL, Lowe modified KSL 
- Add Neumann Stubblebine
 2005-05-02 10:44:07 +00:00
gijs
489e8394b0 - Adding Kao Chow 
- Adding Dennig Sacco
- Updated not modelled file to include DH, GJM and Gong
 2005-05-02 09:24:26 +00:00
ccremers
924abc065d - Added xml output switch (-x, check scyther --help). It's not complete 
yet, to be finished tomorrow.
 2005-05-01 13:32:50 +00:00
gijs
3682e3ab24 - Adding 2 more CCITT509 derived protocols 2005-04-29 14:19:07 +00:00
gijs
87c49850b4 - read should be labeled 1 to make it match with the first send 2005-04-29 13:28:15 +00:00
ccremers
f206d4258f - Events now always require a label. 2005-04-29 13:25:43 +00:00
ccremers
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.
 2005-04-29 13:21:59 +00:00
gijs
113a3c5dfc - Adding NotModelled.txt, describing which SPORE protocols have not been 
modelled and why
- Adding ccitt509 and friends
 2005-04-29 13:14:23 +00:00
gijs
0b22c4a4bb - Created a directory to hold spdl files of all protocols in SPORE 
- Import Andrew secure RPC and derived protocols
 2005-04-29 10:50:53 +00:00
ccremers
38f6f42351 - Fail increases of claims moved to violateClaim; thus, other references 
were in fact redundant.
 2005-04-27 13:48:00 +00:00
ccremers
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.
 2005-04-27 11:43:47 +00:00
ccremers
b00cabe35a - Added Gijs' version of TMN (for debugging) 2005-04-27 11:18:08 +00:00
ccremers
18d523d8a4 - Fixed segfault when modelchecker was called on an empty scenario. 2005-04-22 16:03:58 +00:00
ccremers
5b3e177e2d - Fixes. 2005-04-21 12:13:04 +00:00
ccremers
8e1041b567 - Minor output fixes. 2005-04-21 12:04:45 +00:00
ccremers
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?
 2005-04-18 05:51:25 +00:00
ccremers
06a0a6c234 - Added 2r890 exercise 3, year 2004/2005. Check with assignment notes 
because I did them off the top of my head.
 2005-04-18 05:48:28 +00:00
ccremers
de2c9c0127 - Added 5 run version as well. 2005-04-17 10:32:49 +00:00
ccremers
99088a7723 - Added n runs protocol example. 2005-04-17 10:30:54 +00:00
ccremers
f9a97fb481 - Stupid typo fix. 2005-04-15 14:33:18 +00:00
ccremers
771fa8cc92 - Some more interface improvements. 
- Hardcoded reference to wiki pages.
 2005-04-15 14:31:32 +00:00
ccremers
89d7fd696a - Added more explanations. 2005-04-15 13:07:57 +00:00
ccremers
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.
 2005-04-15 10:04:05 +00:00
ccremers
a06b3037a4 - Added Scons suggestion. 2005-04-15 10:02:22 +00:00
ccremers
3ba39a3a51 - Removed some older debug stuff. 2005-04-10 15:40:33 +00:00
ccremers
4919cf2a2d - Some consistency fixes after removing argtable2 dependency. 2005-04-10 15:36:41 +00:00
ccremers
738a2b5859 - Rewrote complete switch code. Scyther now no longer depends on 
argtable2. Great.
 2005-04-10 15:30:47 +00:00
ccremers
eafa8a6d14 - Oops, forgot to rename the protocol (for multi-protocol analysis) 2005-04-04 14:06:57 +00:00
ccremers
1c72acc47f - Added BKE variant which is used in an exercise for 2R890. 2005-04-04 13:50:59 +00:00
ccremers
73b0f8a4a5 - Slight comment mod. 2005-04-03 09:54:05 +00:00
ccremers
1adb90e6a9 - Simple occurrence test. 2005-03-24 15:25:43 +00:00
ccremers
2baf88bf47 - Rewrote some of the code comments. 2005-03-21 08:40:21 +00:00
ccremers
6378fedcc8 - There's nothing wrong with Denning-Sacco shared. 2005-03-14 13:44:32 +00:00
ccremers
0758da468f - Added important remark. 2005-03-14 13:42:15 +00:00
ccremers
3a53ca3e6b - 20 minutes should be a reasonable time bound... 2005-03-14 12:16:48 +00:00
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
88e2f3d26c - Added a better reverse-engineered variation of the Athena goal 
selector.
- Added an idea that might make searches somewhat faster.
 2005-03-11 20:41:59 +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