src/HOL/Auth/README.html
changeset 6452 6a1b393ccdc0
parent 6400 1f495d4d922b
child 13508 890d736b93a5
--- a/src/HOL/Auth/README.html	Tue Apr 20 14:32:48 1999 +0200
+++ b/src/HOL/Auth/README.html	Tue Apr 20 14:33:48 1999 +0200
@@ -14,7 +14,8 @@
 
 <LI>the Needham-Schroeder protocol (public-key and shared-key versions)
 
-<LI>the Kerberos protocol (the simplified form published in the BAN paper)
+<LI>two versions of Kerberos: the simplified form published in the BAN paper
+	and also the full protocol (Kerberos IV)
 
 <LI>three versions of the Yahalom protocol, including a bad one that 
 	illustrates the purpose of the Oops rule