Crafting a Usable Microkernel, Processor, and I/O System with Strict and Provable Information Flow Security
Author
Tiwari, Mohit
Oberg, Jason K.
Li, Xun
Valamehr, Jonathan
Levin, Timothy
Hardekopf, Ben
Kastner, Ryan
Chong, Frederic T.
Sherwood, Timothy
Date
2011Metadata
Show full item recordAbstract
High assurance systems used in avionics, medical implants,
and cryptographic devices often rely on a small trusted base
of hardware and software to manage the rest of the system.
Crafting the core of such a system in a way that achieves
flexibility, security, and performance requires a careful balancing
act. Simple static primitives with hard partitions
of space and time are easier to analyze formally, but strict
approaches to the problem at the hardware level have been
extremely restrictive, failing to allow even the simplest of
dynamic behaviors to be expressed.
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.Collections
Related items
Showing items related by title, author, creator and subject.
-
Active Control of Adaptive Optics System in a Large Segmented Mirror Telescope
Nagashima, M.; Agrawal, B.N. (2012);For a large Adaptive Optics (AO) system such as a large Segmented Mirror Telescope (SMT), it is often difficult, although not impossible, to directly apply common Multi-Input Multi-Output (MIMO) controller design methods ... -
Spin stabilization of the ORION satellite using a thruster attitude control system with optimal control considerations
Cunningham, Janet L. (Naval Postgraduate School, 1989);The controlled system is the ORION satellite spinning about its single axis of symmetry. Hydrazine thrusters are used as the control and are modeled by ideal, constant magnitude step functions. The system is normalized and ... -
Acquisition and Development Programs through the Lens of System Complexity
Pugliese, Antonio; Enos, James; Nilchiani, Roshanak (Monterey, California. Naval Postgraduate School, 2018-04-30); SYM-AM-18-165The approach of the Department of Defense (DoD) to acquisition programs is strongly based on systems engineering. DoD Directive 5000.01 calls for "the application of a systems engineering approach that optimizes total ...