Cas Cremers
2ee202b1ae
Updated Denning-Sacco-Lowe note.
2013-08-23 15:15:19 +02:00
Cas Cremers
7a2d354bac
Added Wimax models from compositionality paper.
...
Previously we had not included the IEEE 802.16e Wimax PKM models to the
Scyther distribution, although the models had been around for years.
2012-11-27 21:56:05 +01:00
Cas Cremers
9c9c6758f2
Removing obsolete file.
2012-11-15 16:50:42 +01:00
Cas Cremers
51495be80d
Cleanup and restructuring of testing directory setup.
2012-11-15 16:47:08 +01:00
Cas Cremers
a911f56705
Added ISO/IEC 9798 models.
2012-11-15 12:10:06 +01:00
Cas Cremers
03f49d3b29
Added IKE .spdl files (auto-generated from the .cpp files) for reference.
2012-11-15 11:48:46 +01:00
Cas Cremers
34d7cba293
Added IKE base models.
...
Modelers: Adrian Kyburz and Cas Cremers
2012-11-15 11:48:14 +01:00
Cas Cremers
727e813c77
Fixed obsolete notation in protocol specification files.
...
Not everything is fixed yet.
However, we fixed:
- 'const' -> 'fresh'
- Removed lines specifying 'runs'
- Removed some specifications of compromised Eve and its long-term keys
being compromised.
2012-06-12 23:12:14 +02:00
Cas Cremers
d713ac400d
More 'read'->'recv' conversion.
2012-04-26 16:40:01 +02:00
Cas Cremers
755c4519c6
Large pass on protocol specification files to get rid of deprecated constructions.
2012-04-23 15:53:28 +02:00
Cas Cremers
59080a2b5c
Updating protocol descriptions.
2010-12-31 15:41:52 +01:00
Cas Cremers
dd49526e02
Reintroduced ksl protocol description.
2010-12-12 22:13:18 +01:00
Cas Cremers
d96ffa3354
Added more Woo-Lam-Pi variants.
2010-11-24 17:13:14 +01:00
Cas Cremers
fac14fc950
Added a new subdirectory with protocols for MPA experiments.
2010-11-11 10:37:18 +01:00
Cas Cremers
8fe754f4ec
Moved key-compromise models into their own directory and removed key-compromise models from base protocols.
2007-11-16 09:00:23 +01:00
Cas Cremers
9aa39bfbe2
- SPORE moved into gui directory by default.
2007-05-19 17:10:46 +02:00
