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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 26, 1986
- Accession Number
- ADA175908
Entities
People
- Miguel A. Reyes
Organizations
- Naval Postgraduate School