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