The Orchids Intrusion Detection Tool - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Chapitre D'ouvrage Année : 2005

The Orchids Intrusion Detection Tool

Dates et versions

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

Identifiants

Citer

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 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More