// Wide Mouthed Frog 
  
 A, S :            principal 
 Kas, Kbs, Kab :   symkey    
 Ta, Ts :          timestamp 
  
  
 1.   A -> S  :   A, {Ta, B, Kab}Kas 
 2.   S -> B  :   {Ts, A, 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).