// TMN 
  
 A, B, S :   principal                  
 Ka, Kb :    key                        
 PK, SK :    principal -> key (keypair) 
  
  
 1.   A -> S  :   B, {Ka}PK(S) 
 2.   S -> B  :   A            
 3.   B -> S  :   A, {Kb}PK(S) 
 4.   S -> A  :   B, {Kb}Ka    
   
 // 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).