Accession Number : ADA311105

Title :   The RS-232 Character Repeater Refinement and Assurance Argument,

Corporate Author : NAVAL RESEARCH LAB WASHINGTON DC CENTER FOR COMPUTER HIGH ASSURANCE SYSTEMS

Personal Author(s) : Moore, Andrew P. ; Payne, Charles N.

PDF Url : ADA311105

Report Date : 25 JUL 1996

Pagination or Media Count : 125

Abstract : Past experience in system security certification indicates the need for developers of high assurance systems to coherently integrate the evidence that their system satisfies its critical requirements. This document describes a method based on literate programming techniques to help developers present the evidence they gather in a manner that facilitates the certification effort. We demonstrate this method through the implementation and verification of a small but nontrivial, security-relevant example, an RS-232 character repeater. By addressing many of the important issues in system design, we expect that this example will provide a model for developing assurance arguments for full-scale composite systems with corresponding gains in the expediency of the system certification process.

Descriptors :   *DATA PROCESSING SECURITY, *QUALITY ASSURANCE, *CRITICALITY(GENERAL), *REPEATERS, REQUIREMENTS, VERIFICATION, SPECIFICATIONS, COMPUTER PROGRAMMING.

Subject Categories : Computer Systems Management and Standards

Distribution Statement : APPROVED FOR PUBLIC RELEASE