// CAM 
  
 M,C :     principal                  
 Tm :      timestamp                  
 PK,SK :   principal -> key (keypair) 
 HoA :     principal -> address       
 CoA :     principal -> address       
 i :       salt                       
  
  
 1.   M -> C  :   CoA(M), HoA(C), HoA(M), PK(M), i, Tm, 
                  {H(CoA(M), HoA(C), HoA(M), Tm)}SK(M)  
       HostPart(HoA(M)) = H(PK(M), i)                   
   
 // 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).