Juan Mosso

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…