Search Sciweavers | Sciweavers

247 search results - page 15 / 50

» Worm anatomy and model

click to vote

SPRINGSIM
2007

129views Modeling And Simulation» more SPRINGSIM 2007»

Modeling and analysis of worm defense using stochastic activity networks

13 years 9 months ago

Download vividmachines.com

— Stochastic activity networks (SANs) are a widely used formalism for describing complex systems that have random behavior. Sophisticated software tools exist for the modeling an...

David M. Nicol, Steve Hanna, Frank Stratton, Willi...

claim paper

Read More »

click to vote

IAW
2003
IEEE

157views Information Technology» more IAW 2003»

Static Verification of Worm and virus Behavior in binary Executables using Model Checking

14 years 1 months ago

Download www.cacs.louisiana.edu

- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...

Prabhat K. Singh, Arun Lakhotia

claim paper

Read More »

click to vote

TDSC
2010

172views more TDSC 2010»

Proactive Detection of Computer Worms Using Model Checking

13 years 3 months ago

Download christian.schallhart.net

Although recent estimates are speaking of 200,000 different viruses, worms, and Trojan horses, the majority of them are variants of previously existing malware. As these variants m...

Johannes Kinder, Stefan Katzenbeisser, Christian S...

claim paper

Read More »

click to vote

ISSRE
2005
IEEE

98views Software Engineering» more ISSRE 2005»

Markovian Modeling and Analysis of Internet Worm Propagation

14 years 1 months ago