Jonathan Rouzaud-Cornabas. Formalisation de propriétés de sécurité pour la protection des systèmes d'exploitation. (Security properties formalization for operating system protection). PhD thesis, University of Orléans, France, 2010. [doi]
Abstract is missing.