Skip to Main content Skip to Navigation
Book sections

The Orchids Intrusion Detection Tool

Julien Olivain 1 Jean Goubault-Larrecq 1
1 LSV - Laboratoire Spécification et Vérification
Document type :
Book sections
Complete list of metadata
https://hal.inria.fr/hal-03201048
Contributor : Jean Goubault-Larrecq <>
Submitted on : Saturday, April 17, 2021 - 2:23:25 PM
Last modification on : Saturday, May 1, 2021 - 3:39:25 AM

Links full text

openaccess

Identifiers

Collections

CNRS | ENS-CACHAN | ENS-PARIS-SACLAY | GS-COMPUTER-SCIENCE

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

19

 

Contact                    Legal Notice                    Personal Data