733 search results - page 39 / 147 » Formal Reasoning About Intrusion Detection Systems |
140
click to vote
ICCS
2007
Springer
15 years 5 months ago
2007
Springer
In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowin...
102
click to vote
ENTCS
2007
15 years 1 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...
107
click to vote
ICSM
1996
IEEE
15 years 6 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
CCS
2007
ACM
15 years 8 months ago
2007
ACM
To ameliorate the quality of protection provided by intrusion detection systems (IDS) we strongly need more effective evaluation and testing procedures. Evaluating an IDS against ...
147
click to vote
TARK
1992
Springer
15 years 6 months ago
1992
Springer
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...