// Lowe modified Wide Mouthed Frog 
  
 A, S :            principal      
 Kas, Kbs, Kab :   symkey         
 Nb :              nonce          
 Ta, Ts :          timestamp      
 suc :             nonce -> nonce 
  
  
 1.   A -> S  :   A, {Ta, B, Kab}Kas 
 2.   S -> B  :   {Ts, A, Kab}Kbs    
 3.   B -> A  :   {Nb}Kab            
 4.   A -> B  :   {succ(Nb)}Kab      
   
 // 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).