Peer review of the trusted software methodology

Technical Report · Tue Feb 01 00:00:00 EST 1994

DOI:https://doi.org/10.2172/10138004· OSTI ID:10138004

Chisholm, G H ^[1]; Gannon, J D ^[1]; Kemmerer, R A ^[1]; McHugh, J ^[1]

---

1. Argonne National Lab., IL (United States)

The review and analysis of the Trusted Software Methodology (TSM) by a panel of experts in various areas of computer science, computer security, and engineering are reported. The approach to the conduct of the review is described, and a brief introduction to the TSM is provided. The findings from the review fall into three categories: achievements, desirable additions, and changes. In addition, several recommendations are made with respect to application of the TSM within the purview of the Ballistic Missile Defense Organization.

• Research Organization: Argonne National Lab. (ANL), Argonne, IL (United States)
• Sponsoring Organization: Department of Defense, Washington, DC (United States)
• DOE Contract Number: W-31109-ENG-38
• OSTI ID: 10138004
• Report Number(s): ANL/DIS-1; ON: DE94009241; TRN: 94:004297
• Resource Relation: Other Information: PBD: Feb 1994
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
45 MILITARY TECHNOLOGY, WEAPONRY, AND NATIONAL DEFENSE
COMPUTER CODES
SECURITY
SABOTAGE
BALLISTIC MISSILE DEFENSE
990200
450500
MATHEMATICS AND COMPUTERS
STRATEGIC DEFENSE INITIATIVE