Fri, 26 Sep 2003 10:34:28 +0200 | paulson | Conversion of all main protocols from "Shared" to "Public". | file | diff | annotate |
Tue, 23 Sep 2003 15:41:33 +0200 | paulson | Removal of the Key_supply axiom (affects many possbility proofs) and minor | file | diff | annotate |
Tue, 12 Aug 2003 13:35:03 +0200 | paulson | ZhouGollmann: new example (fair non-repudiation protocol) | file | diff | annotate |
Mon, 05 May 2003 18:22:01 +0200 | paulson | improved presentation of HOL/Auth theories | file | diff | annotate |
Tue, 29 Apr 2003 12:36:40 +0200 | paulson | better guarantees | file | diff | annotate |
Sat, 26 Apr 2003 12:38:42 +0200 | paulson | converting more HOL-Auth to new-style theories | file | diff | annotate |
Fri, 25 Apr 2003 11:18:14 +0200 | paulson | Changes required by the certified email protocol | file | diff | annotate |