Modeling and analysis of worm defense using stochastic activity networks