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) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Jérémy Briffaut' in Google

runs on WebDSL