Study of the Use of Ada in Trusted Computing Bases (TCBs) to be Certified at, or Below, the B3 Level

Abstract

This is the final report for the Study of the Use of Ada in Trusted Computing Bases (TCBs) to be certified at, or below, the B3 Level. The objective of the study was to produce guidelines for developing Ada software for TCBs. This objective was addressed in a three-part process: (1) Mapping the Trusted Computer System Evaluation Criteria (TCSEC) to the software development process; (2) Identifying benefits of and potential deterrents to using Ada in the software development process of TCB systems; and (3) Producing the guidelines.

Open PDF

Document Details

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

Entities

Organizations

  • IIT Research Institute

Tags

Communities of Interest

  • C4I
  • Cyber

DTIC Thesaurus Topics

  • Administrative Personnel
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Cybersecurity
  • Department Of Defense
  • Identification
  • Language
  • Lists (Data Structures)
  • Operating Systems
  • Programming Languages
  • Software Design
  • Software Development
  • Software Development Tools
  • Standards
  • System Software

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Software Verification and Validation.
  • Systems Analysis and Design