Tool Support for the Production of High Integrity Software

Abstract

This report was commissioned by the UK computer security policy authority. It discusses the software tools required for the production of trusted software, following the guidelines given by the UK systems security confidence levels. Recommendations are given for the development of new tools and techniques where appropriate. Great Britain. (rh)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1989
Accession Number
ADA212077

Entities

People

  • C. T. Sennett

Organizations

  • Royal Signals and Radar Establishment

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Case Studies
  • Communication Systems
  • Computer Access Control
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Consistency
  • Cybersecurity
  • Department Of Defense
  • Formal Languages
  • Language
  • Natural Languages
  • Software Development
  • Standards
  • Vulnerability

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Systems Analysis and Design

Technology Areas

  • Cyber