Le co-design d’un noyau de système d’exploitation et de sa preuve formelle d’isolation
Dans cette thèse nous proposons un nouveau concept de noyau adapté à la preuve que nous avons appelé « proto-noyau ». Il s’agit d’un noyau de système d’exploitation minimal où la minimisation de sa taille est principalement motivée par la réduction du coût de la preuve mais aussi de la surface d’att...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2018
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2018LIL1I075/document |