Book Sections
Year : 2005
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03201048
Submitted on : Saturday, April 17, 2021-2:23:25 PM
Last modification on : Friday, March 24, 2023-2:53:21 PM
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⟩
Collections
9
View
0
Download