Cas Cremers
f9a34f4de5
BUGFIX: Updating hashfunction usage in protocol files to new conventions.
...
After the new function implementation, the 'Function' type is no longer one-way by default.
However, many protocol description files relied on this implicit assumption.
The solution is to use 'hashfunction' declarations instead to model one-wayness.
Original bug report by Binh Thanh Nguyen.
2014-01-08 15:13:16 +00:00
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
