Chapitre D'ouvrage
Année : 2005
Jean Goubault-Larrecq : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03201048
Soumis le : samedi 17 avril 2021-14:23:25
Dernière modification le : mercredi 29 novembre 2023-15:28:04
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⟩
Collections
9
Consultations
0
Téléchargements