Metodología para hipervisores seguros utilizando técnicas de validación formal

Abstract

Per últim, s'estudien les vulnerabilitats de tipus information leak ) degudes a la pèrdua de la confidencialitat de la informació gestionada per el sistema particionat. En aquest àmbit, es modelen les vulnerabilitats, s'apliquen tècniques de anàlisis de codi per a la detecció de les vulnerabilitats en base al model definit, per últim es valida la tècnica proposada mitjançant un cas pràctic sobre el nucli del sistema operatiu Linux que forma part de l'arquitectura particionada. 9This page is intentionally left blank. Contents Cover 1Acknowledgements 3Abstract 5Resumen 7Resum 9