Fri, 19 Sep 1997 16:12:21 +0200 | paulson | Full version of TLS including session resumption, but no Oops | changeset | files |
Fri, 19 Sep 1997 16:11:24 +0200 | paulson | Deleted the obsolete theorem analz_UN1_synth | changeset | files |
Thu, 18 Sep 1997 13:24:04 +0200 | paulson | Global change: lost->bad and sees Spy->spies | changeset | files |
Wed, 17 Sep 1997 16:40:52 +0200 | paulson | Deleted the redundant identifier Says_imp_sees_Spy' | changeset | files |
Wed, 17 Sep 1997 16:39:43 +0200 | paulson | New proof of respond_Spy_not_see_session_key | changeset | files |
Wed, 17 Sep 1997 16:38:34 +0200 | paulson | Removed the simprule imp_disjL from the analz_image_..._ss to boost speed | changeset | files |
Wed, 17 Sep 1997 16:37:40 +0200 | paulson | Fixed comments | changeset | files |