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

reportActive / Technical Report | Accession Number: ADA223067 | Open PDF

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.

Author(s):
No Author(s) Identified
Author Organization(s):
IIT RESEARCH INST LANHAM MD
Descriptive Note:
Final rept.
Supplementary Note:
DOI: 10.21236/ADA223067
Pagination:
0320

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release
Distribution Statement:
Approved For Public Release; Distribution Is Unlimited.

RECORD

Collection: TR
Identifying Numbers
Monitor Series:
CSC
 Subject Terms
Joint Capability Areas:
JCA_5_Command and Control; JCA_5.5_Direct; JCA_5.5.1_Communicate Intent and Guidance; JCA_5.3_Planning; JCA_8_Building Partnerships; JCA_8.2_Shape; JCA_5.5.3_Establish Metrics; JCA_5.5.2_Task; JCA_5.3.2_Apply Situational Understanding; JCA_8.2.2_Provide Aid to Foreign Partners and Institutions; JCA_8.2.1_Partner with Governments and Institutions; JCA_8.1_Communicate; JCA_8.1.3_Influence Adversary and Competitor Audiences; JCA_6_Net Centric; JCA_5.4_Decide; JCA_7.1.2_Prevent Non-kinetic Attack; JCA_7.1_Prevent; JCA_7_Protection; JCA_5.3.4_Develop Courses of Action; JCA_5.3.5_Analyze Courses of Action; JCA_5.3.3_Develop Strategy
Modernization Areas:
Fully Networked C3
Communities of Interest:
C4I
Descriptor(s):
*ADA PROGRAMMING LANGUAGE, *COMPUTER PROGRAMMING, SYSTEMS ANALYSIS, DATA BASES, COMPUTER PROGRAMS, COMPUTERS
Field(s)/Group(s):
Computer Programming and Software
Keyword(s):
TCBS(TRUSTED COMPUTING BASES)
Report Date:
1989 Apr 01