gijs
|
87c49850b4
|
- read should be labeled 1 to make it match with the first send
|
2005-04-29 13:28:15 +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
|
b00cabe35a
|
- Added Gijs' version of TMN (for debugging)
|
2005-04-27 11:18:08 +00:00 |
|
ccremers
|
5b3e177e2d
|
- Fixes.
|
2005-04-21 12:13:04 +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
|
89d7fd696a
|
- Added more explanations.
|
2005-04-15 13:07:57 +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
|
0758da468f
|
- Added important remark.
|
2005-03-14 13:42:15 +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
|
61b3aba459
|
- Added two versions of the kao-chow protocol.
- Improved the testing scripts.
|
2005-03-08 14:07:36 +00:00 |
|
ccremers
|
533cf46080
|
- Using the scyther.py -e command, I found and fixed some errors.
|
2005-03-03 15:29:35 +00:00 |
|
ccremers
|
7e9169ef89
|
- For some historical reason this used upper-case keys.
|
2005-03-02 19:58:07 +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
|
acb98c2212
|
- Added agree claim.
|
2005-03-02 19:43:03 +00:00 |
|
ccremers
|
50c7bbe6c5
|
- Non-unique claim label.
|
2005-03-02 19:12:08 +00:00 |
|
ccremers
|
49d314d0f5
|
- Unfolded secrecy claims.
|
2005-02-19 14:25:30 +00:00 |
|
ccremers
|
094267cd03
|
- Moved scripts to test directory. Broken commit: paths are all wrong
now.
|
2005-01-20 14:40:52 +00:00 |
|
ccremers
|
e34c6a2cd2
|
- Removed command line option for tuple width. Instead, it is now in the
code.
- Added protocol test resume by adding percentage start parameter.
|
2005-01-14 18:24:28 +00:00 |
|
ccremers
|
9a86e80c96
|
- Added some type information to the Yahalom protocol model.
|
2005-01-14 18:22:22 +00:00 |
|
ccremers
|
0158e81cac
|
- Minor protocol fixes.
|
2005-01-14 16:09:09 +00:00 |
|
ccremers
|
0f199670d3
|
- Fixed some issues with bad protocol naming.
|
2005-01-14 11:15:37 +00:00 |
|
ccremers
|
e2990e37de
|
- Two protocol bugfixes.
|
2005-01-14 10:28:12 +00:00 |
|
ccremers
|
a3f9d0dc65
|
- Added a few protocols to the list.
|
2005-01-14 09:52:48 +00:00 |
|
ccremers
|
84689052ac
|
- The tests used for PAM talk 1
|
2005-01-11 10:12:01 +00:00 |
|
ccremers
|
5e78172162
|
- Added timer constraints to the multi-protocol test.
|
2005-01-05 15:45:26 +00:00 |
|
ccremers
|
ec86107800
|
- Commented some protocols.
|
2005-01-05 15:45:14 +00:00 |
|
ccremers
|
2d978f3232
|
- Modified some small issues, made the protocol list static, and allowed
"comment lines" starting with '#' in the test script.
|
2004-12-17 15:54:48 +00:00 |
|
ccremers
|
ecd114c5c3
|
- Code cleanup.
|
2004-11-21 15:45:12 +00:00 |
|
ccremers
|
3459add489
|
- Added improved summary info about what helps to break what.
|
2004-11-19 13:25:30 +00:00 |
|
ccremers
|
149e2e5646
|
- Added percentage meter to progress bar.
|
2004-11-19 11:22:03 +00:00 |
|
ccremers
|
5bf97e7c52
|
- Added default include file.
|
2004-11-19 10:59:10 +00:00 |
|
ccremers
|
d9efb5096c
|
- Error handling fixes.
|
2004-11-19 10:36:46 +00:00 |
|
ccremers
|
560c3e0780
|
- Progress bar now goes to stderr, which makes more sense when piping
output.
|
2004-11-19 10:13:08 +00:00 |
|
ccremers
|
0b7031e550
|
- Improved the attack output significantly.
|
2004-11-19 09:53:51 +00:00 |
|
ccremers
|
c1f225cfb7
|
- Some results about the attacks.
|
2004-11-19 08:43:23 +00:00 |
|
ccremers
|
a0d90b9ec4
|
- Added function to determine command line.
|
2004-11-18 16:18:23 +00:00 |
|
ccremers
|
6ebc61fca6
|
- More fixes.
|
2004-11-18 16:14:31 +00:00 |
|
ccremers
|
83922f3f2c
|
- Fixed some protocols with wrong protocol names in the specification.
- Added more safety stuff to the testing code.
|
2004-11-18 16:07:58 +00:00 |
|
ccremers
|
2b53516542
|
- Major improvements (o.a. in progress bars etc)
|
2004-11-18 15:50:54 +00:00 |
|
ccremers
|
a4f9b3c4de
|
- Beta version works like a charm.
|
2004-11-18 15:06:41 +00:00 |
|
ccremers
|
96ade10f29
|
- Cleanup.
|
2004-11-18 14:47:53 +00:00 |
|
ccremers
|
5edfc1ba46
|
- Started to work on a good test script.
|
2004-11-18 14:47:44 +00:00 |
|
ccremers
|
a3d59f591a
|
- Some cleanups of the protocols list.
|
2004-11-18 13:15:19 +00:00 |
|