Design and Abstract Specification of a Multics Security Kernel. Volume 3
Abstract
On the basis of the recommendations of the Electronic Systems Division Computer Security Technology Panel (1972), The MITRE Corporation developed techniques for the design, implementation, and formal mathematical verification of a security kernel: a hardware and software mechanism to control access to information within a computer system. This three-volume report describes the design of a security kernel for Honeywell Information System's Multics computer system. This third volume gives a formal, top-level specification of the secondary subsystems of the kernel, including the System Security Officer, reconfiguration, and initialization. It is sufficiently detailed to allow its security, compatibility, and efficiency to be determined. The first volume gave a methodology and design overview. The second volume dealt with the primary subsystems of the kernel.
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 01, 1978
- Accession Number
- ADA053149
Entities
People
- J. P. Woodward
Organizations
- MITRE Corporation