733 search results - page 6 / 147 » Formal Reasoning About Intrusion Detection Systems |
NSPW
2003
ACM
15 years 4 months ago
2003
ACM
Locality as a unifying concept for understanding the normal behavior of benign users of computer systems is suggested as a unifying paradigm that will support the detection of mal...
NSPW
2004
ACM
15 years 5 months ago
2004
ACM
We argue in favor of the explicit inclusion of suspicion as a concrete concept to be used in the analysis of audit data in order to guide the search for evidence of misuse. Our ap...
116
click to vote
ACSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
The effectiveness and precision of network-based intrusion detection signatures can be evaluated either by direct analysis of the signatures (if they are available) or by using bl...
IJNSEC
2007
14 years 11 months ago
2007
It is generally agreed that two key points always attract special concerns during the modelling of anomaly-based intrusion detection. One is the techniques about discerning two cl...
102
Voted
CAV
2005
Springer
15 years 5 months ago
2005
Springer
ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrus...