Security kernel design for a microprocessor-based, multilevel, archival storage system
Coleman, Aaron Ray
Schell, Roger R.
Cox, Lyle A.
MetadataShow full item record
This thesis is a detailed design of a security kernel for an archival file storage system. Microprocessor technology is used to address a major part of the problem of information security in a distributed computer system. Utilizing multiprogramming techniques for processor efficiency, segmentation for controlled sharing, and a loop-free structure for avoiding intermodule dependencies, the Archival Storage System is designed for implementation on the filing Z8001 microprocessor with a memory management unit. The concepts of a process structure and a distributed kernel are used in providing management of the shared resources of the system. The security kernel primitives create a virtual machine environment and provide information security in accordance with a non-discretionary security policy.
RightsThis 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.
Showing items related by title, author, creator and subject.
The instrumentation of a kernel DBMS for the execution of kernel transactions equivalent to their object-oriented transactions Clark, Robert Eugene; Yildirim, Necmi (Monterey, California. Naval Postgraduate School, 1995-09);The issues addressed in this thesis are to examine whether the data manipulation operations of the kernel database system are capable of supporting the new Object-Oriented Data Model and Language Interface (OODM&L Interface). ...
Brock, Jerome P. (2001-06);One feature of a multi-level operating system is a requirement to manage multiple, simultaneous user-sessions at different levels of security. This session management is performed through a trusted path between the user ...
Irvine, Cynthia E.; Nguyen, Thuy D. (Monterey, California. Naval Postgraduate School, 2006-08); NPS-CS-06-001Various system architectures have been proposed for highly robust enforcement of multilevel security (MLS). This paper provides an analysis of the relative merits of three architectural types -- one based on a traditional ...