gijs
ba47af0c42
- Test out a possible way to model key compromise:
...
Add a role that sends out all messages that would occur in a legit
run of the protocol including the session key (simulating a previously
recorded run with its compromised session key)
- Adding a directory to play around with key compromise
2005-06-14 13:51:51 +00:00
gijs
b212e0b1ec
- Add a dummy role in andrew-ban-concrete to work around the key symmetry
...
issue (k(I,R) != k(R,I))
- Fix a typo in splice-as-cj
2005-06-14 12:24:42 +00:00
gijs
56c032f4a5
Update SPORE protocols to use new ticket mechanism:
...
- Use builtin Ticket type instead of user type
- Remove remark that -m2 matching is required as it no longer is
2005-06-02 12:41:24 +00:00
ccremers
f8bafdcd60
- Fixed type flaw problem.
2005-05-24 14:31:55 +00:00
ccremers
907243281d
- Anti-typeflaw reordering.
2005-05-23 13:51:39 +00:00
ccremers
76aa940e1d
- Added comments, bke version.
2005-05-23 13:18:47 +00:00
ccremers
47c9f257a8
- Optimized version.
2005-05-23 13:07:11 +00:00
gijs
3cb999f820
Replaced all tabs by spaces.
2005-05-23 12:35:58 +00:00
gijs
b05843d690
- Adding Yahalom and variants
2005-05-23 12:33:03 +00:00
gijs
b86c60240c
- Adding more Woo Lam variants
2005-05-23 12:00:33 +00:00
gijs
673e0218c5
- Adding Woo and Lam
...
- Adding Woo and Lam Pi (includes a possible attack that is not listed in SPORE)
2005-05-23 11:39:13 +00:00
ccremers
5570389c16
- A first generalization of NSL.
2005-05-23 10:36:42 +00:00
gijs
5ddcbd0fe5
- Adding Wide Mouther Frog and modified versions
2005-05-18 12:17:08 +00:00
gijs
cbb617b3a1
- Adding CJ modified version of splice protocol
...
- Adding tmn
- Fixed a modelling error in splice
2005-05-18 11:43:42 +00:00
gijs
ee3b996ff7
Adding two variants of splice as, based on the version in spdl, but using
...
normalized role names.
2005-05-18 09:47:06 +00:00
gijs
2110206d80
- Adding otway rees and smart right protocols
2005-05-17 14:01:48 +00:00
gijs
ae7c5c653f
Adding the symmetric key variants of Needham Schroeder
2005-05-12 13:32:30 +00:00
gijs
52e38f40e6
Fixed scenario for needham-schroeder and added needham-shroeder-lowe
2005-05-12 12:27:18 +00:00
gijs
2a1cc10258
Adding SPORE's vision on the needham-schroeder protocol
2005-05-12 12:05:13 +00:00
ccremers
2e4c5afeb7
- Added a strange issue, to be resolved tomorrow.
2005-05-11 15:18:32 +00:00
gijs
0930556f2e
Fix the protocol name in denning-sacco-lowe
2005-05-10 14:08:51 +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
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
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
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