FORSCOM Security Monitor (FSM) Computer Program Development Specification (Type B5)

摘要

This document sets forth design and implementation requirements for the Initial Operational Capability (IOC) phase of the GUARD project. The IOC phase of GUARD will operate under the UNIX Operating System, which shall ultimately consist of the Kernelized Secure Operating System (KSOS) security kernel and the UNIX emulation package. The FORSCOM WWMCCS environment has been chosen for the GUARD IOC test site. This environment is ideal for experimenting further with the GUARD technology. It is desired to experiment with the GUARD technology at FORSCOM in order to determine whether FORSCOM could connect its present and future WES sites without jeopardizing security thus eliminating the efforts and associated costs of upgrading these sites to Top Secret, the system high operation. Therefore, to determine the true value of the ACCAT GUARD technology during IOC and to assess potential enhancements to this system, it is desirable to evaluate these concepts in an operational exercise. The primary purpose of the FORSCOM GUARD experiment is to provide an IOC test bed for GUARD to test the effectiveness of GUARD as a major security application in an operational environment.