733 search results - page 1 / 147 » Formal Reasoning About Intrusion Detection Systems |
RAID
2004
Springer
13 years 10 months ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...
ACSAC
2004
IEEE
13 years 8 months ago
2004
IEEE
This paper presents techniques to integrate and reason about complementary intrusion evidence such as alerts generated by intrusion detection systems (IDSs) and reports by system ...
SP
2006
IEEE
13 years 10 months ago
2006
IEEE
Classification accuracy in intrusion detection systems (IDSs) deals with such fundamental problems as how to compare two or more IDSs, how to evaluate the performance of an IDS, ...
ACSAC
1998
IEEE
13 years 8 months ago
1998
IEEE
Network-based attacks have become common and sophisticated. For this reason, intrusion detection systems are now shifting their focus from the hosts and their operating systems to...
ECBS
2007
IEEE
13 years 6 months ago
2007
IEEE
Intrusions impose tremendous threats to today’s computer hosts. Intrusions using security breaches to achieve unauthorized access or misuse of critical information can have cata...