Security Kernel Evaluation for Multics and Secure Multics Design, Development and Certification.

摘要

The goal of Project Guardian is to design, develop, and certify a secure Multics to provide a certified secure multilevel computer utility. The report covers activities from January to June 1976 with an introductory summary of prior work. Activities reported include simplification of the Multics operating system, development of the Multics security kernel, design of the Secure Communications Processor (SCOMP) hardware, development of the SCOMP security kernel, methodology for certifying software, and development of ruggedized SCOMP hardware. A list of all documentation produced under the contract during this period is included. (Author)