Sarah H. Sellke Ness B. Shroff Saurabh Bagchi Modeling and Automated Containment of Worms. 528-537 2005 conf/dsn/2005 DSN http://doi.ieeecomputersociety.org/10.1109/DSN.2005.66 db/conf/dsn/dsn2005.html#SellkeSB05