Showing 1 - 5 of 5 results for the Author - charles (chuck) weinstock , Type - White Paper
In this paper, the authors provide examples of several of the kinds of evidence that can contribute to a security case.
This white paper presents an improvement strategy comprising four pillars of an integrate-then-build practice that lead to improved quality through early defect discovery and incremental end-to-end validation and verification.
In this paper, the authors explain an approach to documenting an assurance case for system security.
This report organizes our work on the impact of software complexity on aircraft safety by asking, “How can complexity complicate safety and, thus, certification?”
This report describes a test of an algorithm for estimating the complexity of a safety argument.