53 search results - page 1 / 11 » Formal Specification of Intrusion Signatures and Detection R... |
CSFW
2002
IEEE
13 years 10 months ago
2002
IEEE
SPIN
2009
Springer
14 years 9 days ago
2009
Springer
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
DMIN
2006
13 years 7 months ago
2006
Since it is desirable for an intrusion detection system to be operated with the real time performance, it is not unusual for an intrusion detection engine to perform a "lazy ...
EUROSEC
2010
ACM
13 years 11 months ago
2010
ACM
The prevalent use of the signature-based approach in modern intrusion detection systems (IDS) emphasizes the importance of the efficient management of the employed signature sets....
CAV
2005
Springer
13 years 11 months ago
2005
Springer
ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrus...