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...
| Main Author: | |
|---|---|
| Language: | fra |
| Published: |
Université d'Orléans
2010
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00623075 http://tel.archives-ouvertes.fr/docs/00/62/30/75/PDF/jonathan.rouzaudcornabas_2180_vm.pdf |