The Development of Ada (Trademark) Software for Secure Environments

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 andor 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.