// Woo and Lam Pi f 
  
 A, B, S :   principal                  
 shared :    (principal, principal):key 
 Nb :        nonce                      
  
  
 1..   A -> B  :   A                                              
 2..   B -> A  :   Nb                                             
 3..   A -> B  :   {A,B,Nb}shared(A, S)                           
 4..   B -> S  :   {A, B, Nb, {A, B, Nb}shared(A, S)}shared(B, S) 
 5..   S -> B  :   {A, B, Nb}shared(B, S)                         
   
 // 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).