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

摘要

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. (kr)