

A, B :  principal 
Kab :  symkey 
RC4 :  message, symkey > message 
C :  message > message 
1.  A  >  B  :  v, ((M,C(M)) xor RC4(v,Kab)) 
x xor (y xor z)  =  (x xor y) xor z (E1) 
x xor y  =  y xor x (E2) 
x xor 0  =  x (E3) 
x xor x  =  0 (E4) 
C(x xor y)  =  C(x) xor C(Y) (E5) 
(x1,y1) xor (x2,y2)  =  (x1 xor x2,y1 xor y2) (E6) 
C1 xor C2  =  ((P1,C(P1)) xor RC4(v,k)) xor ((P2,C(P2)) xor RC4(v,k))  
=  ((P1,C(P1)) xor (P2,C(P2))) xor (RC4(v,k)xor RC4(v,k))  (E1)(E2)  
=  (P1,C(P1)) xor (P2,C(P2))  (E3)(E4) 
((M,C(M)) xor RC4(v,Kab)) xor (D,C(D))  =  RC4(v,Kab)xor((M,C(M)) xor (D,C(D)))  (E1)(E2) 
=  RC4(v,Kab) xor (M xor D,C(M) xor C(D))  (E6)  
=  RC4(v,Kab) xor (M xor D,C(M xor D))  (E5) 

Previous Index Next 
