// SmartRight view-only 
  
 CC, TC :                 principal        
 VoKey, VoR, VoRi, CW :   number           
 Kc :                     key              
 h :                      number -> number 
  
  
 1.   CC -> TC  :   {VoKey, CW+VoR}Kc   
 2.   TC -> CC  :   VoRi                
 3.   CC -> TC  :   VoR, {h(VoRi)}VoKey 
   
 // 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).