733 search results - page 24 / 147 » Formal Reasoning About Intrusion Detection Systems |
102
click to vote
RAID
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
RAID
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. It is commonly accepted that intrusion detection systems (IDS) are required to compensate for the insufficient security mechanisms that are available on computer systems...
SEW
2003
IEEE
15 years 5 months ago
2003
IEEE
Traditionally, security is viewed as an organizational and Information Technology (IT) systems function comprising of firewalls, intrusion detection systems (IDS), system security...
FAC
1998
14 years 11 months ago
1998
In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...
ARC
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Current software implementations of network intrusion detection reach a maximum network connection speed of about 1Gbps (Gigabits per second). This paper analyses the Sno...