A Case Study: Alleged RC4 and WEP