733 search results - page 8 / 147 » Formal Reasoning About Intrusion Detection Systems |
WIMOB
2008
IEEE
15 years 6 months ago
2008
IEEE
—One popular solution for reducing the resource consumption of Intrusion Detection System (IDS) in MANET is to elect a head-cluster (leader) to provide intrusion detection servic...
AGENTS
2000
Springer
15 years 4 months ago
2000
Springer
This paper suggests formal frameworks that can be used as the basis for defining, reasoning about, and verifying properties of agent systems. The language, Little-JIL is graphical...
105
click to vote
ICDCSW
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we consider the problem of reducing the number of false positives generated by cooperative Intrusion Detection Systems (IDSs) in Mobile Ad hoc Networks (MANETs). We...
IEEEIAS
2008
IEEE
15 years 6 months ago
2008
IEEE
Modern cars offer an increasingly powerful Multimedia environment. While also the potential for an application as Human Computer Interface (HCI) is growing, in this paper we conce...
108
click to vote
RAID
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. In this paper we describe an interface between intrusion detection systems and trusted system components. The approach presented differs from conventional intrusion dete...