Jérémy Briffaut. Formalisation et garantie de propriétés de sécurité système : application à la détection d'intrusions. (Formalization and guaranty of system security properties : application to the detection of intrusions). PhD thesis, University of Orléans, France, 2007. [doi]
@phdthesis{hal-8017,
title = {Formalisation et garantie de propriétés de sécurité système : application à la détection d'intrusions. (Formalization and guaranty of system security properties : application to the detection of intrusions)},
author = {Jérémy Briffaut},
year = {2007},
url = {https://tel.archives-ouvertes.fr/tel-00261613},
researchr = {https://researchr.org/publication/hal-8017},
cites = {0},
citedby = {0},
school = {University of Orléans, France},
}