SEI Applied Research in the areas of Information Assurance (IA)
Abstract
To gain full advantage from data and information generated by software for use in missions, DoD needs to assure its software is free of vulnerabilities. In its complex systems, DoD may use software developed from an unknown supply chain that may include intentionally or unintentionally introduced vulnerabilities. This thrust seeks to develop scalable automated methods to locate, understand, and mitigate the effects of these vulnerabilities. Automated solutions developed through this thrust will be used to discover vulnerabilities in system software source code and to generate proofs of correctness or fault. Additionally, these solutions will be used to model and simulate operational environments to support software and cyber tactics, techniques, and procedures testing.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2024
- Source ID
- 0bebf34ee7c858113e34e859e6976e8a