733 search results - page 28 / 147 » Formal Reasoning About Intrusion Detection Systems |
ACSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
—In this paper, we present a new, light-weight approach for generating filters for blocking buffer overflow attacks on Microsoft Windows systems. It is designed to be deployabl...
100
click to vote
OSDI
2002
ACM
16 years 2 months ago
2002
ACM
Current system loggers have two problems: they depend on the integrity of the operating system being logged, and they do not save sufficient information to replay and analyze atta...
111
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
112
click to vote
AIED
2005
Springer
15 years 7 months ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
98
Voted
NDSS
2005
IEEE
15 years 7 months ago
2005
IEEE
Current intrusion detection systems point out suspicious states or events but do not show how the suspicious state or events relate to other states or events in the system. We sho...