Proceedings of the Seminar on the DoD Computer Security Initiative Program, National Bureau of Standards, Gaithersburg, Maryland, July 17-18, 1979.
Abstract
The objective of this seminar is to acquaint computer system developers and users with the status of the development of 'trusted' ADP systems within the Department of Defense and the current planning for the integrity evaluation of commercial implementations of these systems. The seminar will present an overview of a number of topics essential to the development of 'trusted' ADP systems. Much of the material to be presented will be of a technical nature that is intended for computer system designers and software system engineers. However, the sophisticated computer user in the Federal government and in private industry should find the seminar useful in understanding security characteristics of future systems. This is the first in a series of technical seminars; future sessions will include detailed presentations on: Security Kernel Design Experience, KSOS, KVM, SCOMP, Secure Unix Prototypes, MULTICS AIM, Specification and Verification Techniques, and Secure System Applications.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 1979
- Accession Number
- ADA101998
Entities
Organizations
- United States Department of Defense