New Operating System for Security Tagged Architecture Hardware in Support of Multiple Independent Levels of Security (MILS) Compliant System

摘要

This report summarizes the findings of the University of Idaho, Center for Secure and Dependable System's study entitled 'A New Operating system for Security Tagged Hardware Architecture in Support of MILS Compliant Systems.' The purpose of the project is to investigate the utility of security tagged architectures for high assurance system architectures based on separation and controlled information flow. In addition, this project specifically focused on the use of a zero-kernel operating system as the basis for the evaluation platform for this project.