A testbed for secure and robust SCADA systems
Weaknesses in the Key Scheduling Algorithm of RC4