Security kernel design for a microprocessor-based, multilevel, archival storage system
Loading...
Authors
Coleman, Aaron Ray
Subjects
Data security
Security kernel
Operating system security file system
Secure
File system
Secure operating system
Security kernel
Operating system security file system
Secure
File system
Secure operating system
Advisors
Schell, Roger R.
Date of Issue
1979-12
Date
December 1979
Publisher
Monterey, California. Naval Postgraduate School
Language
en_US
Abstract
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.
Type
Thesis
Description
Series/Report No
Department
Department of Computer Science
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
Distribution Statement
Approved for public release; distribution is unlimited.
Rights
This 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.