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
ccremers
7d24d3396d
- Clean tests todo.
2004-11-18 13:07:10 +00:00
ccremers
2df76cd0a2
- Added a first try for the course protocol.
2004-11-16 13:40:24 +00:00
ccremers
b44676db2b
- Added another protocol.
2004-10-25 11:13:39 +00:00
ccremers
908061c33e
- Added another protocol.
2004-10-25 10:33:14 +00:00
ccremers
885975af8a
- Added a protocol from Boyd & Mathuria: protocols for authentication
...
and key establishment.
2004-10-25 10:17:01 +00:00
ccremers
931d2130f9
- Added a new protocol.
2004-10-25 09:43:32 +00:00
ccremers
738215b876
- Fixed for type flaw matching and more extensive tests.
2004-10-21 15:27:46 +00:00
ccremers
3ee392ca08
- Updated many protocols according to the tests.
2004-10-18 13:45:58 +00:00
ccremers
70d076644d
- Datetime is not present on Galious, but it is not really needed, so
...
it has been removed.
2004-10-18 13:45:35 +00:00
ccremers
7247335e5b
- Much nicer naming for the files.
2004-10-15 14:46:23 +00:00
ccremers
622b28520e
- error output is also stored now.
2004-10-15 12:11:13 +00:00
ccremers
0f68fcb8d6
- Added a generic test generator script.
2004-10-15 08:45:59 +00:00
ccremers
46ce2f37ee
- Cut off tab at the end of a line for xargs
2004-10-14 20:17:01 +00:00
ccremers
19d7b42b14
- ...but don't forget to remove the debug output...
2004-10-14 20:11:19 +00:00
ccremers
02e1ccb186
- Tuple generator now works great.
2004-10-14 20:09:11 +00:00
ccremers
dfe16fa306
- First skeleton for tuple printer.
2004-10-14 18:18:01 +00:00
ccremers
29445bbd5f
- Added two (SPORE) splice-AS variants.
2004-10-14 14:50:49 +00:00
ccremers
15ed7a99fa
- Prevent stupid clashes.
2004-10-14 14:41:54 +00:00
ccremers
884db51a4b
- Added (false) Nisynch, Niagree claims.
...
- Shortened the names.
2004-10-14 14:41:27 +00:00
ccremers
c717262e20
- Fixed the types.
2004-10-14 14:35:01 +00:00
ccremers
09ffaad340
- Fixed a claim role.
2004-10-14 14:34:47 +00:00
ccremers
dbb35a3ec9
- Added the splice-AS protocol. The modelchecker finds an attack, but
...
the arachne methods causes some problems.
2004-10-14 14:22:59 +00:00
ccremers
0efd39e028
- This script now only outputs summary to stdout.
2004-10-14 11:52:13 +00:00
ccremers
c7b06fc0f1
- Added Nisynch claims.
2004-10-14 11:51:49 +00:00
ccremers
6eecef9806
- I can't remember why I needed this protocol, but here goes.
2004-10-13 13:29:38 +00:00
ccremers
1effb2ca99
- Added original Kao-Chow protocol. There is something strange with the
...
Arachne method though, that needs investigating.
2004-10-13 12:55:23 +00:00
ccremers
46e46abb84
- Added andrew-ban and made the naming more consistent.
2004-10-13 12:25:01 +00:00
ccremers
0df4662a4a
- Fixed claim labelling.
2004-10-13 12:24:34 +00:00
ccremers
decf9f36c2
- Added test script.
2004-10-13 12:24:18 +00:00
ccremers
1387fd1d50
- Fixed claim labelling.
2004-10-13 12:23:55 +00:00
ccremers
0db90f4243
- Fixed some agent issue.
2004-10-13 12:23:35 +00:00
ccremers
d7bcd18fb0
- Fixed a claim label.
2004-10-13 12:23:05 +00:00
ccremers
ef34e0080e
- Counterexample for Bart's logic.
2004-10-06 09:10:04 +00:00
ccremers
500710519e
- Added protocols for Bertinoro VODCA talk.
2004-09-10 07:46:00 +00:00
ccremers
f771d3ef4c
- Testing to see what the gains are of using one regular agent. Turns
...
out to be half of the states, thus twice as fast.
2004-09-07 10:20:20 +00:00
ccremers
c293c3bac8
- Added a new counter ref version.
2004-09-02 13:50:45 +00:00
ccremers
947fe654f1
- Testing with this protocol didn't yet reveal the desired behaviour, as
...
Arachne -m2 strategies aren't working fully yet.
2004-09-01 20:24:39 +00:00
ccremers
78e68f3c17
- Added claim label.
2004-08-31 14:35:47 +00:00
ccremers
5ed9fefa7e
- Improved these scenarios.
2004-08-31 14:32:31 +00:00
ccremers
3687bff185
- Fixed kaochow - Niek Palm version.
2004-08-30 22:12:18 +00:00
ccremers
20a38f79c5
BROKEN
...
- Protocol is not done yet.
2004-08-30 14:40:12 +00:00
ccremers
44f394d098
- Improvement.
2004-08-30 14:39:52 +00:00
ccremers
f5548b82cc
- Added protocol.
2004-08-30 14:30:17 +00:00
ccremers
4b3de5f9fb
- Added BAN modified version of andrew-ban.
2004-08-30 14:17:11 +00:00
ccremers
ee5ddea4d0
- Added a new test.
...
- Fixed some notations.
2004-08-30 06:06:37 +00:00
ccremers
939ece7500
- Improvements in the scenarios.
2004-08-27 19:08:31 +00:00
ccremers
dfdea5b0bf
- Finished the protocol.
2004-08-23 11:59:42 +00:00
ccremers
db52ec77e6
- Distinguishing example for prec sets computation; try using --pp=100,
...
possibly with -r2.
2004-07-25 15:29:03 +00:00
ccremers
9a2f6c09e8
- Added nisynch-rep file, which is a broken nsl3 with internal
...
repetition.
2004-07-21 13:14:08 +00:00
ccremers
0ce648cc56
- Broken version (skip)
2004-07-21 13:12:47 +00:00
ccremers
fb51f679a1
- Added two files for nisynch testing.
2004-07-21 13:11:36 +00:00
ccremers
33441613e4
- Added BKE versions used in secrecy reduction article.
2004-07-13 19:36:13 +00:00
ccremers
46da382950
- Fixed some old notation.
2004-07-13 11:37:45 +00:00
ccremers
e2da17f198
- First files with ni-synch claims.
2004-06-16 15:43:55 +00:00
ccremers
7346247f62
- Fixed 2 protocols.
2004-06-12 13:10:17 +00:00
ccremers
8fda9c6d2b
- Fixed some changed paths.
2004-04-23 12:59:25 +00:00
ccremers
ca5202dc0c
- Better names.
2004-04-01 10:05:00 +00:00
ccremers
0de515fd7d
- Broken protocol for article.
2004-03-21 16:26:31 +00:00
ccremers
51e6225d60
- New algorithm for visualisation challenge.
2004-03-15 10:59:29 +00:00
ccremers
120113fe21
- This is required as well.
2004-03-10 07:19:27 +00:00
ccremers
5d9e893a44
- 'Simplest' protocol that shows postponing effort.
2004-03-09 16:07:02 +00:00
ccremers
dba0eab72b
- Modified for better table compared speedtest.
2004-03-08 07:35:47 +00:00
ccremers
66bad3856c
A minimal protocol for testing the partial order reductions.
2004-03-03 18:59:23 +00:00
ccremers
9010e37c33
- Start of simple files.
2004-02-28 20:39:17 +00:00
ccremers
2edf686a3e
- Huge debugging effort to fix -t7 (POR2b), which seems to be okay now.
...
- Next step: fix -t6.
2004-02-28 12:36:35 +00:00
ccremers
975f9c159a
- Implemented the new algorithm -t6.
...
Note: it is currently worse than -t5, and the reason is that it is
good to do the sends first, to avoid branching.
- Fixed a flaw in the flag returned by match_basic.
2004-02-27 15:04:32 +00:00
ccremers
635e583039
- Modified everything for explicit usertype declarations.
2004-02-22 15:22:19 +00:00
ccremers
95f8558514
- Updates for the new claims stuff.
2004-02-22 13:16:53 +00:00
ccremers
59f61abb9f
- Update for new claims.
2004-02-22 13:05:59 +00:00