| Fri, 24 Jul 1998 13:03:20 +0200 |
berghofe |
Adapted to new datatype package.
|
file |
diff |
annotate
|
| Thu, 18 Sep 1997 13:24:04 +0200 |
paulson |
Global change: lost->bad and sees Spy->spies
|
file |
diff |
annotate
|
| Wed, 17 Sep 1997 16:37:27 +0200 |
paulson |
Spy can see Notes of the compromised agents
|
file |
diff |
annotate
|
| Mon, 14 Jul 1997 12:47:21 +0200 |
paulson |
Changing "lost" from a parameter of protocol definitions to a constant.
|
file |
diff |
annotate
|
| Fri, 11 Jul 1997 13:26:15 +0200 |
paulson |
Moving common declarations and proofs from theories "Shared"
|
file |
diff |
annotate
|
| Thu, 26 Sep 1996 12:50:48 +0200 |
paulson |
Introduction of "lost" argument
|
file |
diff |
annotate
|
| Tue, 03 Sep 1996 17:54:39 +0200 |
paulson |
Renaming and simplification
|
file |
diff |
annotate
|
| Wed, 21 Aug 1996 13:22:23 +0200 |
paulson |
Addition of message NS5
|
file |
diff |
annotate
|
| Tue, 20 Aug 1996 18:53:17 +0200 |
paulson |
Working version of NS, messages 1-4!
|
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
|