733 search results - page 22 / 147 » Formal Reasoning About Intrusion Detection Systems |
102
click to vote
ICITA
2005
IEEE
15 years 5 months ago
2005
IEEE
Intrusion Detection Systems (IDS) have become widely used tools for ensuring system and network security. Among many other challenges, contemporary IDS have to cope with increasin...
117
click to vote
COMPSAC
2010
IEEE
14 years 9 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
ECOI
2010
14 years 10 months ago
2010
We describe a semantic data validation tool that is capable of observing incoming real-time sensor data and performing reasoning against a set of rules specific to the scientific d...
106
click to vote
AHSWN
2006
14 years 11 months ago
2006
ABSTRACT Intrusion Detection Systems (IDSs) for Mobile Ad hoc NETworks (MANETs) are indispensable since traditional intrusion prevention based techniques are not strong enough to p...
ICDCS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—We present results from measurements of the filtering of HTTP HTML responses in China, which is based on string matching and TCP reset injection by backbone-level route...