Dynamic sharing of the system resources in multilevel secure system.
Abstract
This thesis represents a preliminary step in the development of a reliable application program simulating an operating system which handles several multi-security-level users dynamically sharing system resources in the Gemini Trusted Multiple Microcomputer Base machine. The proposed design presents the necessary steps to follow when working in a multilevel configuration. The use of primitives that support the application design are explained along with a description of the implementation of this application using Janus/Ada language. In addition, security constraints are identified and system test results are described. Keywords: Computer programming; Systems engineering
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 ...