138 search results - page 1 / 28 » Temporal Signatures for Intrusion Detection |
ACSAC
2001
IEEE
13 years 9 months ago
2001
IEEE
We introduce a new method for detecting intrusions based on the temporal behavior of applications. It builds on an existing method of application intrusion detection developed at ...
CAV
2005
Springer
13 years 10 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...
FORTE
2004
13 years 6 months ago
2004
Abstract. We propose a framework for intrusion detection that is based on runtime monitoring of temporal logic specifications. We specify intrusion patterns as formulas in an expre...
JSW
2008
13 years 5 months ago
2008
Intrusion detection systems (IDS) are special computer security tools which help detect intrusion attempts. Misuse based detection is one of the techniques which is used by IDS to ...
EUROSEC
2010
ACM
13 years 10 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....