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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 2014
Accession Number
ADA602198

Entities

People

  • Jia Song
  • Jim Alves-foss
  • Saeede Zakeri
  • Stuart Steiner

Organizations

  • University of Idaho

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Air Force
  • Air Force Research Laboratories
  • C Programming Language
  • Central Processing Units
  • Code Injection
  • Compilers
  • Computer Access Control
  • Computer Programming
  • Computer Programs
  • Computers
  • Cybersecurity
  • Domain Specific Programming Languages
  • Electronic Mail
  • Instruction Set Architecture
  • Operating Systems
  • Programming Languages
  • Security

Fields of Study

  • Computer science

Readers

  • Computer Networking
  • Database Systems and Applications
  • Parallel and Distributed Computing.