| Tue, 05 Nov 1996 11:20:52 +0100 | paulson | Simplified new_keys_not_seen, etc.: replaced the | file | diff | annotate |
| Fri, 01 Nov 1996 18:28:19 +0100 | paulson | New version with simpler disambiguation in YM3, | file | diff | annotate |
| Fri, 18 Oct 1996 11:43:14 +0200 | paulson | New version of Yahalom, as recommended on p 259 of BAN paper | file | diff | annotate |