Security Features User's Guide
Security-related features of KeyKOS and KeySAFE, and how to
properly use them, are documented in the KeySAFE Security
Features User's Guide (SEC010).
Information on the proper installation and maintenance of KeyKOS
and KeySAFE as appropriate for trusted operations are covered in the
KeySAFE Trusted Facility Manual (SEC011).
Relevant test plans and test results information is maintained under
a number of separate documents. These include KeySAFE
Configuration Management Plan (SEC014), KeySAFE
Covert Channel Analysis Report (SEC015), KeySAFE Test
Plan (SEC016), and the various specific test suites and test
Introduction to KeySAFE (SEC009) serves as a portion of
the KeyKOS/KeySAFE system design documentation. Additional
detailed specifications for security-relevant portions is included in
other documents, including those referenced in the Introduction to
this document and, more specifically, documents such as the
KeySAFE System Design Specifications (SEC012) and
internal logic documentation. An additional related document is
The KeySAFE Security Model (SEC013).