src/HOL/Auth/README.html
changeset 6400 1f495d4d922b
parent 4594 f8d4387b40d9
child 6452 6a1b393ccdc0
--- a/src/HOL/Auth/README.html	Thu Mar 18 10:41:00 1999 +0100
+++ b/src/HOL/Auth/README.html	Thu Mar 18 10:41:33 1999 +0100
@@ -14,7 +14,10 @@
 
 <LI>the Needham-Schroeder protocol (public-key and shared-key versions)
 
-<LI>two versions of the Yahalom protocol
+<LI>the Kerberos protocol (the simplified form published in the BAN paper)
+
+<LI>three versions of the Yahalom protocol, including a bad one that 
+	illustrates the purpose of the Oops rule
 
 <LI>a novel recursive authentication protocol