The Development of Ada (Trademark) Software for Secure Environments

Abstract

This paper discusses software security and seeks to demonstrate how the Ada programming language can be utilized as a tool to implement software design methodologies which support software security. The major security risk in the military-telecommunications environment is the compromise of secure or sensitive information and/or not delivering a message or part of a message. Software security issues intended to eliminate these and other security risks are numerous. This paper addresses a limited number of issues to illustrate how Ada is being used to accomplish a more secure software product. Security issues related to interlacing message data, prevention of lost data, message and command validation, message distribution integrity, and information protection are addressed. The paper goes into a description of how the SARAH designers are approaching the problem of designing for a secure environment.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 23, 1986
Accession Number
ADA218690

Tags

Communities of Interest

  • C4I
  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Application Software
  • Command And Control Systems
  • Communication Systems
  • Compilers
  • Computer Programming
  • Computer Programs
  • Computers
  • Data Processing
  • Engineering
  • Environment
  • High Level Languages
  • Language
  • Reliability
  • Security
  • Software Development
  • Validation

Fields of Study

  • Computer science
  • Engineering

Readers

  • Cybersecurity.
  • Materials Science.
  • Software Engineering.