216 search results - page 10 / 44 » Modeling and Automated Containment of Worms |
GI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
ICDCS
2010
IEEE
13 years 11 months ago
2010
IEEE
—Aspnes et al [2] introduced an innovative game for modeling the containment of the spread of viruses and worms (security breaches) in a network. In this model, nodes choose to i...
CVPR
2007
IEEE
14 years 9 months ago
2007
IEEE
This paper proposes a method of automated individualization of eye region model. The eye region model has been proposed in past research that parameterizes both the structure and ...
STTT
2008
13 years 7 months ago
2008
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...
DMIN
2006
13 years 9 months ago
2006
Identifying groups of Internet hosts with a similar behavior is very useful for many applications of Internet security control, such as DDoS defense, worm and virus detection, dete...