CCS
2006
ACM
13 years 8 months ago
2006
ACM
We give the first systematic investigation of the design space of worm defense system strategies. We accomplish this by g a taxonomy of defense strategies by abstracting away impl...
IPCCC
2006
IEEE
13 years 11 months ago
2006
IEEE
Computer worms are a serious problem. Much research has been done to detect and contain worms. One major deficiency in most research is that the claims are supported by theoretic...
IPCCC
2006
IEEE
13 years 11 months ago
2006
IEEE
We present an approach to the question of evaluating worm defenses against future, yet unseen and possibly defense-aware worm behavior. Our scheme employs model checking to produc...