111 search results - page 2 / 23 » Proactive Detection of Computer Worms Using Model Checking |
RAID
2005
Springer
13 years 10 months ago
2005
Springer
New features of the PAYL anomalous payload detection sensor are demonstrated to accurately detect and generate signatures for zero-day worms. Experimental evidence demonstrates tha...
EUROCAST
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
WS
2006
ACM
13 years 10 months ago
2006
ACM
The interoperability of IM (Instant Messaging) and SMS (Short Messaging Service) networks allows users to seamlessly use a variety of computing devices from desktops to cellular p...
HICSS
2005
IEEE
13 years 10 months ago
2005
IEEE
Expert systems are originally designed to generate feasible alternatives in automated manner. The users expect the systems to contribute to make decisions proactively and intellig...
IPPS
2006
IEEE
13 years 11 months ago
2006
IEEE
To improve the whole dependability of large-scale cluster systems, an online fault detection mechanism is proposed in this paper. This mechanism can detect the fault in time befor...