// Woo and Lam Mutual Authentication 
  
 P, Q, S :         principal 
 Kps, Kqs, Kpq :   key       
 N1, N2 :          number    
  
  
 1.   P -> Q  :   P, N1                                     
 2.   Q -> P  :   Q, N2                                     
 3.   P -> Q  :   {P, Q, N1, N2}Kps                         
 4.   Q -> S  :   {P, Q, N1, N2}Kps,   {P, Q, N1, N2}Kqs    
 5.   S -> Q  :   {Q, N1, N2, Kpq}Kps,   {P, N1, N2,Kpq}Kqs 
 6.   Q -> P  :   {Q, N1, N2, Kpq}Kps,   {N1, N2}Kpq        
 7.   P -> Q  :   {N2}Kpq                                   
   
 // 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).