Peer review of the trusted software methodology
IL (United States) Argonne National Lab., G.H. Chisholm, Richard A. Kemmerer, John McHugh, OR (United States)] [Portland State Univ., J Gannon, R Kemmerer, J McHugh · 1994
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.