733 search results - page 25 / 147 » Formal Reasoning About Intrusion Detection Systems |
122
click to vote
ACSAC
2003
IEEE
15 years 3 months ago
2003
IEEE
Intrusion detection systems (IDSs) attempt to identify attacks by comparing collected data to predefined signatures known to be malicious (misuse-based IDSs) or to a model of lega...
EUROSYS
2009
ACM
15 years 8 months ago
2009
ACM
In a Multi-Variant Execution Environment (MVEE), several slightly different versions of the same program are executed in lockstep. While this is done, a monitor compares the behav...
107
click to vote
GLOBECOM
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— In this paper, we consider the problem of detecting intrusions initiated by cooperative malicious nodes in infrastructure-based networks. We achieve this objective by s...
104
click to vote
KI
2002
Springer
14 years 11 months ago
2002
Springer
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
AINA
2006
IEEE
15 years 5 months ago
2006
IEEE
Ternary content-addressable memories (TCAMs) have gained wide acceptance in the industry for storing and searching patterns in routers. But two important problems block the way to...