Modeling and automated containment of worms | IEEE Conference Publication | IEEE Xplore