Modeling the Propagation of Worms in Networks: A Survey | Synapse