Accession Number : ADA113348
Title : Proceedings of the Seminar on the DOD Computer Security Initiative (4th) Held at the National Bureau of Standards, Gaithersburg, Maryland on August 10-12, 1981.
Corporate Author : OFFICE OF THE UNDER SECRETARY OF DEFENSE FOR RESEARCH AND ENGINEERING WASHINGTON DC
PDF Url : ADA113348
Report Date : Jan 1981
Pagination or Media Count : 325
Abstract : Contents: Welcoming Address; Keynote Address; Introductory Comments; Burroughs Efforts in Computer Security; CR80-A Fault Tolerant Computer for Implementation in Secure Systems; Computer Security and Control Data; SAC Digital Network Security Methodology; COS/NFE Overview; WIS Security Strategy; Trusted Computing Research at Data General Corporation; The iAPX-432 Microcomputer System; ICL Efforts in Computer Security; GNOSIS: A Progress Report; Computer Security Evaluation Center; Trusted Computer Systems; The SDC Communications Kernel; The MITRE Trusted Packet Switch; Experience with KVM; SCOMP (KSOS-6) Development Experience Update; KSOS-11 Summary and Update; ACCAT and FORSCOM Guard Systems; A Security Model for a Military Message System; EUCLID and Verification; and The Evaluation of Three Specification and Verification Methodologies.
Descriptors : *Data processing security, *Department of Defense, Sensitivity, Demonstrations, Test and evaluation, Technology transfer, Fault tolerant computing, Military intelligence, Message processing, Military applications, Information processing, Microcomputers, Specifications, Networks, Digital systems, Methodology
Subject Categories : Computer Hardware
Distribution Statement : APPROVED FOR PUBLIC RELEASE