A Survey of WPA and 802.11i RSN Authentication Protocols
Weaknesses in the Key Scheduling Algorithm of RC4