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...
保存先:
| 第一著者: | |
|---|---|
| その他の著者: | |
| フォーマット: | Thèse numérique |
| 言語: | Français |
| 出版事項: |
2010.
|
| 主題: | |
| オンライン･アクセス: | Accès au texte intégral https://theses.univ-orleans.fr/public/2010ORLE2075_vm.pdf http://www.theses.fr/2010ORLE2075/abes https://theses.hal.science/tel-00623075 |
| 注記: |
Titre provenant de l'écran-titre Ecole(s) Doctorale(s) : École doctorale Sciences et technologies (Orléans ; 2009-2012) Partenaire(s) de recherche : Laboratoire d'informatique fondamentale d'Orléans (Orléans ; 1987-....) (Laboratoire), Laboratoire d'Informatique Fondamentale d'Orléans (Laboratoire) Autre(s) contribution(s) : Sébastien Limet (Président du jury) ; Christian Toinard, Sébastien Limet, Francine Krief, Jean-Yves Marion, Patrice Clemente, Mathieu Blanc (Membre(s) du jury) ; Francine Krief, Jean-Yves Marion (Rapporteur(s)) |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Security properties formalization for operating system protection |