Worm propagation modeling and analysis under dynamic quarantine defense | Synapse