ccremers
09419702d8
- New version mechanism in place
2007-05-03 15:52:51 +00:00
ccremers
cf84e83f9f
- Scanned protocols for new obligatory check.
2007-01-29 15:05:15 +00:00
ccremers
bd7dd7f92b
- Removed obsolete reports of Arachne requirements.
2006-12-11 09:42:31 +00:00
ccremers
45dbcfad21
- Added SPORE protocols.
2006-11-21 13:42:06 +00:00
ccremers
44e8771de8
- Remove spdl subdirectory: it is now part of the ecss repository.
2005-12-22 10:52:11 +00:00
gijs
0f54f2ed23
- Update modeling of needham schroeder to better reflect the modelling in
...
SPORE:
- pk is not known to all agents, only pk(Simon) is known
- Use new naming convention:
- Protocol name starting with an @ means internal protocol
- For non internal protocols naming is as follows:
protocolname-variant^subprotocol
For example: yahalom-Lowe^KeyCompromise meaning the key compromise sub
protocol of the Lowe variant of the Yahalom protocol.
2005-08-15 13:31:48 +00:00
gijs
49cd9b1271
- Use variable type SessionKey every where instead of a combination
...
between Key and SessionKey
- Make KSL working again
2005-06-29 12:42:25 +00:00
gijs
6fb6aa33dd
- Add session compromise to all protocols that establish a session key
2005-06-24 10:53:15 +00:00
gijs
4c224dc6f4
- Add freshness claims to the protocols that should guarantee freshness
2005-06-23 12:45:32 +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
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
