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.
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
- Zhu, Weijun; Zhou, Qinglei; Yang, Weidong; Zhang, Haibin: A novel algorithm for intrusion detection based on RASL model checking (2013)
- Olivain, Julien; Goubault-Larrecq, Jean: The Orchids intrusion detection tool (2005)