| Fri, 18 Oct 1996 11:42:41 +0200 |
paulson |
Addition of Reveal message
|
file |
diff |
annotate
|
| Mon, 07 Oct 1996 10:40:51 +0200 |
paulson |
Simplified a proof
|
file |
diff |
annotate
|
| Tue, 01 Oct 1996 17:44:54 +0200 |
paulson |
Simplified main theorem by abstracting out newK
|
file |
diff |
annotate
|
| Mon, 30 Sep 1996 11:10:22 +0200 |
paulson |
Removed some dead wood. Transferred lemmas used to prove analz_image_newK
|
file |
diff |
annotate
|
| Thu, 26 Sep 1996 12:50:48 +0200 |
paulson |
Introduction of "lost" argument
|
file |
diff |
annotate
|
| Wed, 25 Sep 1996 17:15:18 +0200 |
paulson |
Last working version prior to introduction of "lost"
|
file |
diff |
annotate
|
| Mon, 23 Sep 1996 18:20:43 +0200 |
paulson |
Proof of Says_imp_old_keys is now more robust
|
file |
diff |
annotate
|
| Fri, 13 Sep 1996 18:49:43 +0200 |
paulson |
Reformatting; proved B_gets_secure_key
|
file |
diff |
annotate
|
| Fri, 13 Sep 1996 13:16:57 +0200 |
paulson |
Addition of Yahalom protocol
|
file |
diff |
annotate
|
| Thu, 12 Sep 1996 10:40:05 +0200 |
paulson |
Tidied many proofs, using AddIffs to let equivalences take
|
file |
diff |
annotate
|