Structured Assurance Case Methodology for Assessing Software Trustworthiness

Authors:
Elizabeth Fong;Michael Kass;Thomas Rhodes;Frederick Boland
Affiliations:
-;-;-;-
Venue:
SSIRI-C '10 Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion
Year:
2010

Citing 0
Cited 5

A preliminary study of apparent causes and outcomes of reported failures with patient management software

Proceedings of the 3rd Workshop on Software Engineering in Health Care
Software certification: is there a case against safety cases?

FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Software certification experience in the canadian nuclear industry: lessons for the future

EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Appraisal and reporting of security assurance at operational systems level

Journal of Systems and Software
Taxonomy of quality metrics for assessing assurance of security correctness

Software Quality Control

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe ongoing NIST research into software assurance as an important requirement for evaluating software trustworthiness. We describe our efforts to apply a structured assurance case toward assuring selected software properties.