RC4 analysis