USA flag logo/image

An Official Website of the United States Government

Insider Threat Detection and Response Using Formal Methods

Award Information

Agency:
Department of Energy
Branch:
N/A
Award ID:
94407
Program Year/Program:
2009 / SBIR
Agency Tracking Number:
91438
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
Aries Design Automation, LLC
2705 West Byron Street Chicago, IL 60618-3745
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2009
Title: Insider Threat Detection and Response Using Formal Methods
Agency: DOE
Contract: DE-FG02-09ER85280
Award Amount: $100,000.00
 

Abstract:

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

Principal Investigator:

Miroslav Velev
Dr.
7738566633
miroslav.velev@aries-da.com

Business Contact:

Miroslav Velev
Dr.
7738566633
miroslav.velev@aries-da.com
Small Business Information at Submission:

Aries Design Automation, Llc
6157 N. Sheridan Road Suite 16M Chicago, IL 60660

EIN/Tax ID: 202887585
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No