Accession Number : ADA602198


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


Descriptive Note : Final rept. Oct 2010-Oct 2013


Corporate Author : IDAHO UNIV MOSCOW CENTER FOR SECURE AND DEPENDABLE SYSTEMS


Personal Author(s) : Alves-Foss, Jim ; Song, Jia ; Steiner, Stuart ; Zakeri, Saeede


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a602198.pdf


Report Date : Apr 2014


Pagination or Media Count : 121


Abstract : 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.


Descriptors :   *COMPUTER SECURITY , ASSEMBLY LANGUAGES , C PROGRAMMING LANGUAGE , COMPUTER ACCESS CONTROL , COMPUTER ARCHITECTURE , INFORMATION ASSURANCE , MICROPROCESSORS , MULTIPROCESSORS , OPERATING SYSTEMS(COMPUTERS)


Subject Categories : Computer Programming and Software
      Computer Hardware
      Computer Systems Management and Standards


Distribution Statement : APPROVED FOR PUBLIC RELEASE