29 search results - page 3 / 6 » Modeling and analysis of worm defense using stochastic activ... |
ATVA
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...
DSN
2002
IEEE
14 years 12 days ago
2002
IEEE
Protocols which solve agreement problems are essential building blocks for fault tolerant distributed applications. While many protocols have been published, little has been done ...
RAID
2010
Springer
13 years 5 months ago
2010
Springer
Enterprise networks face a variety of threats including worms, viruses, and DDoS attacks. Development of effective defenses against these threats requires accurate inventories of n...
ANSS
2005
IEEE
14 years 1 months ago
2005
IEEE
We present a discrete-event network simulator, called Simnet, designed specifically for analyzing networksecurity protocols. The design and implementation is focused on simplicit...
BC
2006
13 years 7 months ago
2006
Recruitment learning in hierarchies is an inherently unstable process (Valiant, 1994). This paper presents conditions on parameters for a feedforward network to ensure stable recru...