// Kao Chow Authentication v.3 
  
 A, B, S :         principal 
 Na, Nb :          number    
 Kab, Kbs, Kas :   key       
  
  
 1.   A -> S  :   A, B, Na                                              
       
 2.   S -> B  :   {A, B, Na, Kab, Kt}Kas,   {A, B, Na, Kab, Kt}Kbs      
       
 3.   B -> A  :   {A, B, Na, Kab, Kt}Kas, {Na, Kab}Kt, Nb,   {A, B, Ta,
Kab}Kbs 
 4.   A -> B  :   {Nb, Kab}Kt, {A, B, Ta, Kab}Kbs                       
       
   
 // Security Protocols Open Repository 
 // http://www.lsv.ens-cachan.fr/spore 
   
-----------------------------------------------------------------------
  
   
              This document was translated from LaTeX by HeVeA
              (http://pauillac.inria.fr/~maranget/hevea/index.html).