Formalisation de propriétés de sécurité pour la protection des systèmes d'exploitation
Cette thèse traite du problème d’une protection en profondeur qui puisse être assurée par un système d’exploitation. Elle établit la faiblesse des solutions existantes pour l’expression des besoins de sécurité. Les approches supportent en général une seule propriété de sécurité. Nous proposons donc...
Main Author: | |
---|---|
Other Authors: | |
Language: | fr |
Published: |
2010
|
Subjects: | |
Online Access: | http://www.theses.fr/2010ORLE2075/document |