| Mon, 23 Sep 1996 18:21:31 +0200 | paulson | Correction of protocol; addition of Reveal message; proofs of | file | diff | annotate |
| Wed, 11 Sep 1996 18:40:55 +0200 | paulson | Reformatting | file | diff | annotate |
| Tue, 03 Sep 1996 16:43:31 +0200 | paulson | Initial working proof of Otway-Rees protocol | file | diff | annotate |