gijs
|
92356a2d43
|
- Add names to WMF messages so that the system property described in SPORE
(agents will not accepted messages they have created them selves) can be
modelled.
|
2005-07-04 13:29:49 +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
|
3cb999f820
|
Replaced all tabs by spaces.
|
2005-05-23 12:35:58 +00:00 |
|
gijs
|
5ddcbd0fe5
|
- Adding Wide Mouther Frog and modified versions
|
2005-05-18 12:17:08 +00:00 |
|