The DoD has established a Computer Security Initiative to foster the widespread availability of trusted computer systems. An essential element of the Initiative is the identification of criteria and guidelines for evaluating the internal protection mechanisms of computer systems. This report documents a proposed set of technical evaluation criteria. These Read more…
The Jobstream Separator (JSS) has been proposed to automate the costly, inefficient, and inconvenient manual process utilized to “change colors” (security levels) at AF WWMCCS sites. The JSS would provide complete isolation among WWMCCS users and data at differing levels by introducing a secure, centralized, certifiably correct, minicomputer system to Read more…
This report summarizes work to date toward the development of a provably secure operating system. Discussed here are a methodology for the design, implementation, and proof of properties of large computing systems, the design of a secure operating system using this methodology, the security properties to be proven about this Read more…