Peer review of the trusted software methodology
- 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
Similar Records
Science and Technology Review May 1999
Concepts of Model Verification and Validation
Summary of Technical Peer Review on the Risk Assessment Framework proposed in Report INL/RPT-22-68656 for Digital Instrumentation and Control Systems
Technical Report
·
Sat May 01 00:00:00 EDT 1999
·
OSTI ID:10138004
Concepts of Model Verification and Validation
Technical Report
·
Sat Oct 30 00:00:00 EDT 2004
·
OSTI ID:10138004
+3 more
Summary of Technical Peer Review on the Risk Assessment Framework proposed in Report INL/RPT-22-68656 for Digital Instrumentation and Control Systems
Technical Report
·
Wed Mar 01 00:00:00 EST 2023
·
OSTI ID:10138004
+2 more