733 search results - page 5 / 147 » Formal Reasoning About Intrusion Detection Systems |
108
click to vote
WFLP
2000
Springer
15 years 3 months ago
2000
Springer
We introduce a framework for assessing the effectiveness of partial evaluators in functional logic languages. Our framework is based on properties of the rewrite system that models...
OTM
2007
Springer
15 years 5 months ago
2007
Springer
Network intrusion detection has been generally dealt with using sophisticated software and statistical analysis, although sometimes it has to be done by administrators, either by d...
101
click to vote
DIMVA
2006
15 years 1 months ago
2006
Abstract. The Internet, and in particular the world-wide web, have become part of the everyday life of millions of people. With the growth of the web, the demand for on-line servic...
FLAIRS
2008
15 years 2 months ago
2008
Typical application fields of spatial and spatio-temporal representation formalisms and reasoning techniques include geographic information systems (GIS), mobile assistance system...
102
click to vote
ICIAP
2005
ACM
15 years 11 months ago
2005
ACM
The continuous evolution of the attacks against computer networks has given renewed strength to research on anomaly based Intrusion Detection Systems, capable of automatically dete...