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.

Descriptive Note:

Corporate Author:

OFFICE OF THE UNDER SECRETARY OF DEFENSE FOR RESEARCH AND ENGINEERING WASHINGTON DC

Personal Author(s):

Report Date:

1981-01-01

Pagination or Media Count:

325.0

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 COSNFE 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.

Subject Categories:

  • Computer Hardware
  • Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE