A process-oriented methodology for assessing and improving software trustworthiness
暂无分享,去创建一个
A high-level, technical summary of the Trusted Software Methodology (TSM) is provided in this paper. The trust principles and trust classes that comprise the TSM are presented and several engineering investigations and case studies surrounding the TSM are outlined. Appendices are included that highlight important areas of the TSM.
[1] Ken Thompson,et al. Reflections on trusting trust , 1984, CACM.
[2] David Lorge Parnas,et al. Evaluation of safety-critical software , 1990, CACM.
[3] Edward Amoroso,et al. Toward an approach to measuring software trust , 1991, Proceedings. 1991 IEEE Computer Society Symposium on Research in Security and Privacy.
[4] P. S. Tasker,et al. DEPARTMENT OF DEFENSE TRUSTED COMPUTER SYSTEM EVALUATION CRITERIA , 1985 .