| Thu, 05 Dec 1996 19:01:49 +0100 | paulson | Loads new public-key examples | file | diff | annotate |
| Thu, 28 Nov 1996 15:56:04 +0100 | paulson | Addition of Woo-Lam protocol | file | diff | annotate |
| Thu, 24 Oct 1996 10:33:27 +0200 | paulson | Two new protocol variants | file | diff | annotate |
| Fri, 11 Oct 1996 10:52:54 +0200 | paulson | Addition of OtwayRees_AN | file | diff | annotate |
| Fri, 13 Sep 1996 13:16:57 +0200 | paulson | Addition of Yahalom protocol | file | diff | annotate |
| Tue, 10 Sep 1996 11:35:23 +0200 | paulson | Now runs all Auth proofs | file | diff | annotate |
| Tue, 03 Sep 1996 18:30:15 +0200 | paulson | ROOT file for Auth directory | file | diff | annotate |