A Software Validation Technique for Certification: The Methodology

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-11/45.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1975
Accession Number
ADA009849

Entities

People

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

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Algorithms
  • Compilers
  • Computational Science
  • Computer Programming
  • Computer Programs
  • Computers
  • Cybersecurity
  • Disassembly
  • Engineering
  • Formal Languages
  • High Level Languages
  • Language
  • Machine Languages
  • Mathematical Models
  • Software Development
  • Standards

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.
  • Strategic Security Studies