Accession Number:

ADA009849

Title:

A Software Validation Technique for Certification: The Methodology

Descriptive Note:

Corporate Author:

MITRE CORP BEDFORD MA

Personal Author(s):

• Bell, D. E.
• Burke, E. L.

Report Date:

1975-04-01

Pagination or Media Count:

39.0

Abstract:

Certification is the approval, by some appropriate authority, that a system meets some functional criteria. In the past, critical software systems, such as security controls have not been certifiable because of the unavailability of a formal validation technique. This paper establishes such a formal methodology for validating the correctness of a software system. The methodology is both rigorous and general and is suitable for certifying the effectiveness of software security controls that are to be used in an open environment. A companion volume will develop a detailed example based on a security kernel for a PDP-1145.

Descriptors:

• *COMPUTER PROGRAMMING
• *DATA PROCESSING SECURITY
• SPECIFICATIONS
• COMPILERS
• MATHEMATICAL MODELS
• VALIDATION

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE