733 search results - page 36 / 147 » Formal Reasoning About Intrusion Detection Systems |
120
click to vote
ENTCS
2006
15 years 1 months ago
2006
Patterns for property specification enable non-experts to write formal specifications that can be used for automatic model checking. The existing patterns identified in [6] allow ...
129
click to vote
FLOPS
2010
Springer
15 years 8 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
109
click to vote
SIGCOMM
2006
ACM
15 years 8 months ago
2006
ACM
Ptacek and Newsham [14] showed how to evade signature detection at Intrusion Prevention Systems (IPS) using TCP and IP Fragmentation. These attacks are implemented in tools like F...
130
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
101
click to vote
IJAR
2011
14 years 9 months ago
2011
Abstract. In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent information. Our framework is composed of non-deter...