| Tue, 16 Feb 1999 10:54:55 +0100 |
paulson |
tidying in conjuntion with the TISSEC paper; replaced (unit option)
|
file |
diff |
annotate
|
| Fri, 16 Oct 1998 12:23:07 +0200 |
paulson |
changed tags from 0, 1 to None, Some() to avoid special treatment of 0
|
file |
diff |
annotate
|
| Tue, 08 Sep 1998 15:17:11 +0200 |
paulson |
Got rid of not_Says_to_self and most uses of ~= in definitions and theorems
|
file |
diff |
annotate
|
| Fri, 21 Aug 1998 16:14:34 +0200 |
paulson |
Tidying
|
file |
diff |
annotate
|
| Wed, 24 Jun 1998 10:30:29 +0200 |
paulson |
Trivial change to be more like paper
|
file |
diff |
annotate
|
| Tue, 16 Dec 1997 15:15:38 +0100 |
paulson |
Simplified SpyKeys and ClientKeyExch as suggested by James Margetson
|
file |
diff |
annotate
|
| Tue, 11 Nov 1997 11:16:18 +0100 |
paulson |
Fixed spelling error
|
file |
diff |
annotate
|
| Wed, 01 Oct 1997 13:41:38 +0200 |
paulson |
Fixed ServerResume to check for ServerHello instead of making a new NB
|
file |
diff |
annotate
|
| Wed, 01 Oct 1997 12:07:07 +0200 |
paulson |
Exchanged the M and SID fields of the FINISHED messages to simplify proofs
|
file |
diff |
annotate
|
| Tue, 30 Sep 1997 11:03:55 +0200 |
paulson |
Client, Server certificates now sent using the separate Certificate rule,
|
file |
diff |
annotate
|
| Mon, 29 Sep 1997 11:46:33 +0200 |
paulson |
Renamed XA, XB to PA, PB and removed the certificate from Client Verify
|
file |
diff |
annotate
|
| Thu, 25 Sep 1997 12:19:41 +0200 |
paulson |
Deleted obsolete axioms inj_serverK and isSym_serverK
|
file |
diff |
annotate
|
| Wed, 24 Sep 1997 12:27:53 +0200 |
paulson |
sessionK now indexed by nat instead of bool.
|
file |
diff |
annotate
|
| Mon, 22 Sep 1997 13:17:29 +0200 |
paulson |
Simplified SpyKeys to use sessionK instead of clientK and serverK
|
file |
diff |
annotate
|
| Fri, 19 Sep 1997 18:27:31 +0200 |
paulson |
First working version with Oops event for session keys
|
file |
diff |
annotate
|