Trusted Software
Abstract
The Trusted Software program will meet DoD demands for reliable and robust software using technology to diagnose software for inefficiencies, design errors, redundant code, and overall software inconsistencies. Current software projects are massive, dynamic social efforts involving distributed teams of developers, marketers, and users. Without the proper tools, the software engineers create errors and redundancies providing unintended and exploitable security flaws. This program will develop specific techniques to extract information on software products, model the development environment, and integrate the models into low-level software analysis tools to provide a robust diagnostic tool for building and validating trustworthy software.
Document Details
- Document Type
- Accomplishment
- Publication Date
- Oct 01, 2013
- Source ID
- df20a96aa3fafe97df8597b72c66076d