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...
Main Author: | Serman, François |
---|---|
Other Authors: | Lille 1 |
Language: | en |
Published: |
2016
|
Subjects: | |
Online Access: | http://www.theses.fr/2016LIL10189/document |
Similar Items
-
Safety analysis of computer resource management software
by: Conmy, Philippa Mary
Published: (2005) -
An open approach to modular control systems for agile automations
by: Dimitropoulos, George P.
Published: (2004) -
Memory architectures for reconfigurable systems
by: Melis, Wim Julien Cornelius
Published: (2005) -
Software dependability with off-the-shelf components
by: Gashi, Ilir
Published: (2007) -
Open systems design using agent interactions
by: Miles, Simon
Published: (2004)