Sat, 15 Feb 1997 17:52:31 +0100 |
oheimb |
reflecting my recent changes of the simplifier and classical reasoner
|
file |
diff |
annotate
|
Mon, 27 Jan 1997 15:29:39 +0100 |
paulson |
Tidied unicity theorems
|
file |
diff |
annotate
|
Thu, 23 Jan 1997 18:14:20 +0100 |
paulson |
Re-ordering of certificates so that session keys appear in decreasing order
|
file |
diff |
annotate
|
Tue, 21 Jan 1997 10:58:32 +0100 |
paulson |
Simplified proofs
|
file |
diff |
annotate
|
Fri, 17 Jan 1997 12:49:31 +0100 |
paulson |
Now with Andy Gordon's treatment of freshness to replace newN/K
|
file |
diff |
annotate
|
Tue, 07 Jan 1997 16:29:43 +0100 |
paulson |
Simplification of some proofs, especially by eliminating
|
file |
diff |
annotate
|
Tue, 07 Jan 1997 10:19:43 +0100 |
paulson |
Now uses HPair
|
file |
diff |
annotate
|
Fri, 20 Dec 1996 10:25:26 +0100 |
paulson |
Simplification and generalization of the guarantees.
|
file |
diff |
annotate
|
Thu, 19 Dec 1996 11:58:39 +0100 |
paulson |
Extensive tidying and simplification, largely stemming from
|
file |
diff |
annotate
|
Wed, 18 Dec 1996 17:46:38 +0100 |
paulson |
Recursive Authentication Protocol
|
file |
diff |
annotate
|