
Programs Home
Overview

Technical Program

Solicitation


|
 |
 |
 |
Application Communities (AC)
Program Manager: Mr. Lee Badger
Vision:
The overarching goal of the AC program is to develop practical technology for on-line, mostly automatic, flaw and attack remediation for heavily-deployed black-box COTS applications. The AC program focuses on the scenario in which an application is used simultaneously by a variety of users and in a variety of settings. This program seeks to determine the extent to which diverse field data from these different users and settings can be combined with techniques such as static binary analysis, model checking, formal specifications, binary instrumentation, correlation, and historical information to characterize an application’s intended behavior, diagnose problems, block problems or attack recurrence, restart failed copies into safe states, and monitor health.

|