Showing 1 - 10 of 818 results for Software Assurance
In an effort to determine how to make secure software development more cost effective, the SEI conducted a research study to empirically measure the effects that security tools—primarily automated static analysis tools—had on costs and benefits.
Presentation on research to detect vulnerabilities early in the lifecycle in architecture models
The concept of an assurance case has been derived from the safety case. This library collection provides a list of SEI resources about assurance cases.
This certificate program includes guidance about engineering software-reliant systems and implementing strategies that instill cybersecurity in acquired systems.
This presentation describes a two-year research effort to define complexity measures for avionics systems in order to help the FAA identify when systems are too complex to assure their safety.
In this podcast, Nancy Mead discusses how, with support from the Department of Homeland Security, SEI researchers developed software assurance curricula and programs for graduate, undergraduate, and community colleges.
This paper presents two challenge problems guiding research on developing a provably correct approach for runtime assurance of distributed real-time embedded systems.
This research is a risk-based approach for measuring and monitoring the security characteristics of interactively complex, software-reliant systems.
In 2012, SEI researchers began investigating vulnerabilities reported to the SEI's CERT Division. A research project was launched to investigate design-related vulnerabilities and quantify their effects.
This talk on assurance cases and confidence was presented at the IEEE Invitational Workshop to Create a Building-Code for Power System Software Security.