Implications of Multi-Core Architectures on the Development of Multiple Independent Levels of Security (MILS) Compliant Systems.

摘要

This report summarizes the findings of the University of Idaho, Center for Secure and Dependable System's study entitled 'Implications of Multicore Architectures on the Development of Multiple Independent Levels of Security (MILS) Compliant Systems' The purpose of the project is to investigate the security ramifications of various modern microprocessor security architectures in the context of support for MILS compliant systems. This report is divided into three main parts, each of which consists of one or more sections. Part I of this report consists of the introduction and summary of the project. Part II presents a discussion of a framework for evaluating information flow in multicore processors. Part III provides a detailed description of the hypervisor we developed as part of this project to enable experimental evaluation of the Intel processor.