The Orchids Intrusion Detection Tool - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2005

The Orchids Intrusion Detection Tool

Dates and versions

hal-03201048 , version 1 (17-04-2021)

Identifiers

Cite

Julien Olivain, Jean Goubault-Larrecq. The Orchids Intrusion Detection Tool. Proceedings of the 17th International Conference on Computer Aided Verification (CAV'05), volume 3576 of Lecture Notes in Computer Science, Edinburgh, Scotland, UK. Springer, pp.286-290, 2005, ⟨10.1007/11513988_28⟩. ⟨hal-03201048⟩
9 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More