733 search results - page 2 / 147 » Formal Reasoning About Intrusion Detection Systems |
CCS
2008
ACM
13 years 6 months ago
2008
ACM
It is generally believed that by combining several diverse intrusion detectors (i.e., forming an IDS ensemble), we may achieve better performance. However, there has been very lit...
CCS
2006
ACM
13 years 8 months ago
2006
ACM
Attackers often try to evade an intrusion detection system (IDS) when launching their attacks. There have been several published studies in evasion attacks, some with available to...
DEON
2008
Springer
13 years 6 months ago
2008
Springer
The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...
ACMSE
2004
ACM
13 years 10 months ago
2004
ACM
Traditional intrusion detection systems have a central coordinator with a static hierarchical architecture. We propose a peer-to-peer intrusion detection system that has no centra...
FC
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...