529 search results - page 58 / 106 » Model checking detectability of attacks in multiagent system... |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Intrusion detection systems have become a key component in ensuring the safety of systems and networks. As networks grow in size and speed continues to increase, it is crucial tha...
DSN
2006
IEEE
14 years 1 months ago
2006
IEEE
One way to prevent control hijacking attack is to compare a network application’s run-time system calls with a pre-defined normal system call behavior model, and raise an alert...
ISSTA
2012
ACM
11 years 10 months ago
2012
ACM
Over the last decade, there has been a significant increase in the number and sophistication of malware-related attacks and infections. Many detection techniques have been propos...
CAV
2009
Springer
14 years 2 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
ACSAC
2002
IEEE
14 years 19 days ago
2002
IEEE
Intrusion detection systems (IDSs) have reached a high level of sophistication and are able to detect intrusions with a variety of methods. Unfortunately, system administrators ne...