Dynamic sharing of the system resources in multilevel secure system
Published: 1986
Language: eng
Number of pages: 124
Subjects: SYSTEMS ENGINEERING; SECURITY; COMPUTER PROGRAMMING
Description: 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.
Notes: Available from National Technical Information Service, Springfield, Va.

ADA175908.

Thesis (M.S. in Computer Science) Naval Postgraduate School, September 1986.

Includes bibliographical references.

c.1 - 220834, c.2 - 220835