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]
Abstract is missing.