Fri, 01 Nov 1996 18:27:38 +0100 |
paulson |
New, purely illustrative result Crypt_synth_analz
|
file |
diff |
annotate
|
Fri, 18 Oct 1996 11:33:02 +0200 |
paulson |
Replaced excluded_middle_tac by case_tac
|
file |
diff |
annotate
|
Tue, 08 Oct 1996 10:19:31 +0200 |
paulson |
New theorem Crypt_imp_invKey_keysFor
|
file |
diff |
annotate
|
Mon, 07 Oct 1996 10:41:26 +0200 |
paulson |
New theorem Crypt_Fake_parts_insert
|
file |
diff |
annotate
|
Thu, 26 Sep 1996 12:50:48 +0200 |
paulson |
Introduction of "lost" argument
|
file |
diff |
annotate
|
Thu, 26 Sep 1996 10:34:19 +0200 |
paulson |
Last working version prior to addition of "lost" component
|
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:19:02 +0200 |
paulson |
New laws for messages
|
file |
diff |
annotate
|
Fri, 13 Sep 1996 18:46:08 +0200 |
paulson |
Reordering of premises for cut theorems, and new law MPair_synth_analz
|
file |
diff |
annotate
|
Fri, 13 Sep 1996 13:15:48 +0200 |
paulson |
Removal of obsolete thm Fake_parts_insert
|
file |
diff |
annotate
|
Mon, 09 Sep 1996 17:34:24 +0200 |
paulson |
Stronger proofs; work for Otway-Rees
|
file |
diff |
annotate
|
Tue, 03 Sep 1996 19:07:00 +0200 |
paulson |
New theorems for Fake case
|
file |
diff |
annotate
|
Tue, 20 Aug 1996 17:46:24 +0200 |
paulson |
Working version of NS, messages 1-3, WITH INTERLEAVING
|
file |
diff |
annotate
|
Mon, 19 Aug 1996 11:19:55 +0200 |
paulson |
Renaming of functions, and tidying
|
file |
diff |
annotate
|
Mon, 29 Jul 1996 18:31:39 +0200 |
paulson |
Works up to main theorem, then XXX...X
|
file |
diff |
annotate
|
Fri, 26 Jul 1996 12:19:46 +0200 |
paulson |
Auth proofs work up to the XXX...
|
file |
diff |
annotate
|
Thu, 11 Jul 1996 15:30:22 +0200 |
paulson |
Added Msg 3; works up to Says_Server_imp_Key_newK
|
file |
diff |
annotate
|
Fri, 28 Jun 1996 15:26:39 +0200 |
paulson |
Proving safety properties of authentication protocols
|
file |
diff |
annotate
|