Reducing hardware TCB in favor of certifiable virtual machine monitor

Cette thèse a pour objet la conception d'un hyperviseur logiciel sécurisé, à vocation de certification. Les plus hauts niveaux de certification requièrent l'usage de méthodes formelles, permettant de démontrer la validité d'un produit par rapport à une spécification à l'aide de l...

Full description

Bibliographic Details
Main Author: Serman, François
Other Authors: Lille 1
Language:en
Published: 2016
Subjects:
Online Access:http://www.theses.fr/2016LIL10189/document