348 search results - page 6 / 70 » Offline firewall analysis |
IJNSEC
2008
13 years 9 months ago
2008
The paper discusses our research in development of general and systematic methods for intrusion prevention. The key idea is to use data mining techniques to discover repeated patt...
ESOP
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. We study the notion of binding-time analysis for logic programs. We formalise the unfolding aspect of an on-line partial deduction s a Prolog program. Using abstract inte...
RAID
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. Eight sites participated in the second DARPA off-line intrusion detection evaluation in 1999. Three weeks of training and two weeks of test data were generated on a test ...
MICRO
2009
IEEE
14 years 4 months ago
2009
IEEE
ICPP
1999
IEEE
14 years 1 months ago
1999
IEEE
The vector-clock size necessary to characterize causality in a distributed computation is bounded by the dimension of the partial order induced by that computation. In an arbitrar...