// Wired Equivalent Privacy Protocol 
  
 A, B :   principal                  
 Kab :    symkey                     
 RC4 :    message, symkey -> message 
 C :      message -> message         
  
  
 1.   A -> B  :    v, ((M,C(M)) xor RC4(v,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).