KSOS Secure Unix Implementation Plan (Kernelized Secure Operating System)

摘要

This report presents a discussion of the implementation plan for the KSOS project. Programming techniques, implementation tools, implementation activity integrity, impact of techniques on verification and performance, testing, and external configuration management are discussed. The implementation plan developed in the sections that follow is intended to provide the reader with an understanding of the implementation methodology that Ford Aerospace and Communications Corporation (FACC) will use during the detailed design and coding of KSOS. This report is divided into major sections that discuss programming techniques, FACC programming support tools, verification and performance implications of FACC implementation methodology, implementation security, testing plans, and configuration management.