Accession Number : ADA298090
Title : External COMSEC Adaptor Software Engineering Methodology.
Descriptive Note : Final rept.,
Corporate Author : NAVAL RESEARCH LAB WASHINGTON DC
Personal Author(s) : Moore, Andrew ; Chapman, Eather ; Kim, David ; Klinker, Eric ; Hayman, Kenneth
PDF Url : ADA298090
Report Date : 31 AUG 1995
Pagination or Media Count : 21
Abstract : The External COMSEC Adaptor (ECA) is a device responsible for providing cryptographic protection of information based on rule that (possibly coarsely) define the sensitivity of that information. The ECA is trusted to satisfy a set of critical requirements that support a requirement of data confidentiality in the network in which it is embedded. Ensuring that the ECA is worthy of this trust requires precisely defining its critical requirements and constructing a strong argument that its implementation satisfies these requirements. This paper describes a software engineering methodology that uses formal methods for specifying and verifying the most critical requirements of the ECA and uses testing and simulation for verifying the overall functional requirements of the ECA. The methodology integrates the formal specifications and proofs with structured software documentation to clarify the relationship between the refinement of ECA functionality and the argument that the ECA meets its critical requirements. This methodology was successfully to build the ECA using the KG84A to satisfy its cryptographic requirements.
Descriptors : *SOFTWARE ENGINEERING, *METHODOLOGY, *DATA PROCESSING SECURITY, COMPUTER PROGRAM DOCUMENTATION, COMPUTERIZED SIMULATION, REQUIREMENTS, CRYPTOGRAPHY, SPECIFICATIONS, COMPUTER NETWORKS.
Subject Categories : Computer Programming and Software
Computer Systems Management and Standards
Distribution Statement : APPROVED FOR PUBLIC RELEASE