53 search results - page 1 / 11 » Formal Specification of Intrusion Signatures and Detection R... |
CSFW
2002
IEEE
14 years 4 months ago
2002
IEEE
SPIN
2009
Springer
14 years 5 months 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
14 years 11 days 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
14 years 4 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
14 years 4 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...