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]
No references recorded for this publication.
No citations of this publication recorded.