Insider Threat Detection and Response Using Formal Methods

Award Information
Agency: Department of Energy
Branch: N/A
Contract: DE-FG02-09ER85280
Agency Tracking Number: 91438
Amount: $100,000.00
Phase: Phase I
Program: SBIR
Awards Year: 2009
Solicitation Year: 2008
Solicitation Topic Code: 52 d
Solicitation Number: DE-PS02-08ER08-34
Small Business Information
6157 N. Sheridan Road, Suite 16M, Chicago, IL, 60660
DUNS: 361627933
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Miroslav Velev
 (773) 856-6633
Business Contact
 Miroslav Velev
Title: Dr.
Phone: (773) 856-6633
Research Institution
This project will extend the Capability Acquisition Graph (CAG) model to a form that can be easily analyzed with formal methods in order to develop countermeasures for cyber attacks arising from within an organization. The extension will be based on an efficient translation of the problem to Boolean Satisfiability (SAT), in order to exploit the both the speed and capacity of SAT solvers. Extensions of the model will be explored to improve its robustness, including its response to insider threats from system administrators. Formal techniques will be implemented to automatically generate plausible attacks and to develop recommendations for network hardening. Commercial Applications and other Benefits as described by the awardee Besides the DOE, the resulting technology should be of benefit to the DoD and all other organizations that need to protect high-value information, such as the banking industry, high-tech companies developing expensive intellectual property, and civilian government infrastructures

* Information listed above is at the time of submission. *

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government