| Fri, 18 Oct 1996 11:39:10 +0200 | paulson | Important correction to comment | file | diff | annotate |
| Mon, 07 Oct 1996 10:55:51 +0200 | paulson | Simple tidying | file | diff | annotate |
| Thu, 26 Sep 1996 12:50:48 +0200 | paulson | Introduction of "lost" argument | file | diff | annotate |
| 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 |