Sciweavers

CAV
2005
Springer

The Orchids Intrusion Detection Tool

13 years 9 months ago
The Orchids Intrusion Detection Tool
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 intrusion signatures. They are checked against merged network and system event flows, which together form a linear Kripke structure.
Julien Olivain, Jean Goubault-Larrecq
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CAV
Authors Julien Olivain, Jean Goubault-Larrecq
Comments (0)