733 search results - page 18 / 147 » Formal Reasoning About Intrusion Detection Systems |
VL
2002
IEEE
15 years 4 months ago
2002
IEEE
We have been working on a unit system for end-user spreadsheets that is based on the concrete notion of units of the abstract concept of types. In previous work, we defined such ...
LPNMR
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
105
click to vote
ICARIS
2004
Springer
15 years 5 months ago
2004
Springer
The use of artificial immune systems in intrusion detection is an appealing concept for two reasons. Firstly, the human immune system provides the human body with a high level of ...
107
click to vote
RV
2007
Springer
15 years 5 months ago
2007
Springer
A significant number of cyber assaults are attempted against open source internet support software written in C, C++, or Java. Examples of these software packages include the Apac...
FSTTCS
2005
Springer
15 years 5 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...