Proceedings of the Fourth Seminar on the DOD Computer Security Initiative
Author : DOD
Publisher :
Page : 320 pages
File Size : 22,23 MB
Release : 1982
Category :
ISBN :
Author : DOD
Publisher :
Page : 320 pages
File Size : 22,23 MB
Release : 1982
Category :
ISBN :
Author : Institute for Computer Sciences and Technology
Publisher :
Page : 316 pages
File Size : 41,94 MB
Release : 1981
Category : Computers
ISBN :
Author : Seminar on the DOD Computer Security Initiative Program
Publisher :
Page : pages
File Size : 23,12 MB
Release : 1979
Category : Computers
ISBN :
Author :
Publisher :
Page : 168 pages
File Size : 19,62 MB
Release : 1984
Category : Computers
ISBN :
Author :
Publisher :
Page : 168 pages
File Size : 17,90 MB
Release : 1984
Category : Computers
ISBN :
Author : OFFICE OF THE UNDER SECRETARY OF DEFENSE FOR RESEARCH AND ENGINEERING WASHINGTON DC.
Publisher :
Page : 325 pages
File Size : 48,92 MB
Release : 1981
Category :
ISBN :
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.
Author : National Bureau of Standards
Publisher :
Page : pages
File Size : 15,77 MB
Release :
Category :
ISBN :
Author :
Publisher :
Page : 158 pages
File Size : 45,92 MB
Release : 1983
Category : Computer programming
ISBN :
Author : United States. National Bureau of Standards
Publisher :
Page : pages
File Size : 34,20 MB
Release : 1980
Category :
ISBN :
Author :
Publisher :
Page : 158 pages
File Size : 39,41 MB
Release : 1984
Category : Computer networks
ISBN :