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.
Approved for public release; distribution is unlimited
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 ...
Levin, Timothy, E.; Irvine, Cynthia E.; Weissman, Clark; Nguyen, Thuy D. (International Common Criteria Conference (ICCC), Rome, Italy, September 2007., 2007-11-01);Various system architectures have been proposed for high assurance enforcement of multilevel security. This paper provides an analysis of the relative merits of three architectural types, one based on a security kernel, ...