Author : DEPARTMENT OF DEFENSE WASHINGTON DC.
Publisher :
Page : 124 pages
File Size : 45,78 MB
Release : 1979
Category :
ISBN :
Book Description
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.