Automatically deducing propagation sequences that circumvent a collaborative worm defense