// Protocol name 
  
 Var1, Var2,... :   type 
  
  
 label.   Sender -> Receiver  :    contents      
 label.   Sender -> Receiver  :    {contents}key 
   
 // 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).