fixed WWW links
Mon, 02 Feb 1998 12:56:24 +0100
changeset 4594 f8d4387b40d9
parent 4593 6fc8f224655f
child 4595 fa8cee619732
fixed WWW links
--- a/src/HOL/Auth/README.html	Mon Feb 02 12:55:39 1998 +0100
+++ b/src/HOL/Auth/README.html	Mon Feb 02 12:56:24 1998 +0100
@@ -5,24 +5,24 @@
 <P>Cryptographic protocols are of major importance, especially with the
 growing use of the Internet.  This directory demonstrates a <A
 proof method</A>.  The operational semantics of protocol participants is
 defined inductively.  The directory contains proofs concerning
 <LI>three versions of the Otway-Rees protocol
-<LI>the Needham-Schroeder protocol (<A
-and shared-key versions)
+<LI>the Needham-Schroeder protocol (public-key and shared-key versions)
 <LI>two versions of the Yahalom protocol
-<LI>a novel <A HREF="">recursive</A> authentication protocol 
+<LI>a novel recursive authentication protocol 
+<LI>the Internet protocol TLS
-<P>Last modified 7 May 1997
+<P>Last modified 30 Jan 1998
 <A NAME="" HREF=""></A>