National Technical Reports Library

The National Technical Information Service acquires, indexes, abstracts, and archives the largest collection of U.S. government-sponsored technical reports in existence. The NTRL offers online, free and open access to these authenticated government technical reports. Technical reports and documents in its repository may be available online for free either from the issuing federal agency, the U.S. Government Publishing Office’s Federal Digital System website, or through search engines.

Details

KSOS Secure Unix Implementation Plan (Kernelized Secure Operating System).

ADA111567

Publication Date	1980
Page Count	67
Abstract	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.
Keywords	Secure communications Computers Operation Planning Computer programming Coding External Configuration management Sites Requirements Validation Methodology Experimental design Implementation Computer tools Kernel security operating systems Kernel verification Code proofs
Source Agency	Non Paid ADAS
NTIS Subject Category	62B - Computer Software 45C - Common Carrier & Satellite
Corporate Authors	Ford Aerospace and Communications Corp., Palo Alto, CA. Western Development Labs. Div.
Supplemental Notes	Report on Secure Minicomputer Operating System. Prepared in cooperation with SRI International, Menlo Park, CA.
Document Type	Technical Report
NTIS Issue Number	198213
Contract Number	MDA903-77-C-0333

KSOS Secure Unix Implementation Plan (Kernelized Secure Operating System).

KSOS Secure Unix Implementation Plan (Kernelized Secure Operating System).
ADA111567

Publication Date	1980
Page Count	67
Abstract	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.
Keywords	Secure communications Computers Operation Planning Computer programming Coding External Configuration management Sites Requirements Validation Methodology Experimental design Implementation Computer tools Kernel security operating systems Kernel verification Code proofs
Source Agency	Non Paid ADAS
NTIS Subject Category	62B - Computer Software 45C - Common Carrier & Satellite
Corporate Authors	Ford Aerospace and Communications Corp., Palo Alto, CA. Western Development Labs. Div.
Supplemental Notes	Report on Secure Minicomputer Operating System. Prepared in cooperation with SRI International, Menlo Park, CA.
Document Type	Technical Report
NTIS Issue Number	198213
Contract Number	MDA903-77-C-0333