733 search results - page 32 / 147 » Formal Reasoning About Intrusion Detection Systems |
126
click to vote
IJNSEC
2006
15 years 1 months ago
2006
Alert correlation is an important technique for managing large the volume of intrusion alerts that are raised by heterogenous Intrusion Detection Systems (IDSs). The recent trend ...
109
click to vote
SP
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
ICSE
1994
IEEE-ACM
15 years 6 months ago
1994
IEEE-ACM
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Teamwork requires that team members coordinate their actions. The representation of the coordination is a key requirement since it influences the complexity and flexibility of r...
125
click to vote
ISMIS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present an overview of anomaly detection used in computer security, and provide a detailed example of a host-based Intrusion Detection System that monitors file syste...