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