Crafting a Usable Microkernel, Processor, and I/O System with Strict and Provable Information Flow Security
Oberg, Jason K.
Chong, Frederic T.
MetadataShow full item record
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.
Showing items related by title, author, creator and subject.
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 ...
Brown, Kevin W. (Monterey, California. Naval Postgraduate School, 1995-12);In this thesis the relationship between the characteristics or attributes of a military weapon system (e.g., speed, reliability, survivability) and the effectiveness of that system is thoroughly examined. Success in system ...