Bug-Free Computing: Stop Viruses, Squash Worms, and Smash Trojan Horses