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⟩