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