Analyzing the Data-Plane in a Heterogeneous Network

Award Information
Agency:
Department of Defense
Branch
Navy
Amount:
$74,543.00
Award Year:
2013
Program:
SBIR
Phase:
Phase I
Contract:
N66001-13-P-5117
Agency Tracking Number:
N123-162-0173
Solicitation Year:
2012
Solicitation Topic Code:
N123-162
Solicitation Number:
2012.3
Small Business Information
Veriflow Systems Inc
1509 Quaker Hollow Ct S, Buffalo Grove, IL, -
Hubzone Owned:
N
Socially and Economically Disadvantaged:
N
Woman Owned:
N
Duns:
078622598
Principal Investigator:
Serena Chan
Chief Operating Officer
(607) 351-4828
serenaschan@yahoo.com
Business Contact:
Matthew Caesar
President
(847) 323-2968
mccaesar@gmail.com
Research Institution:
Stub




Abstract
We will develop and evaluate algorithms for a system, Veriflow, which can automatically reason about security and correctness of computer networks in real time. Veriflow operates by scanning a network, constructing a formal model of the network's behavior, and using custom formal logic algorithms to automatically derive whether the network contains inconsistencies, errors, or violations of specified invariants. Veriflow will confirm correctness, or provide a specific example vulnerability if one exists. Moreover, our algorithms are real-time: Veriflow can vet networks continuously as the network state evolves, detect transient errors and signal immediate alarms, and scale to large and highly dynamic environments. The key personnel are well-qualified. We previously developed two prototype network verification systems. Initial evaluations of our systems have found 23 real bugs in a real operational network of 178 routers, and scaled to networks of a several hundred devices while performing network-wide checks in less than one millisecond. This proposal will extend these prototypes with verifiers for a much richer set of policies and algorithms to support a much wider range of devices, providing a flexible platform for reasoning about network behavior. We will also extensively evaluate our algorithms using real operational network snapshots, ensuring millisecond-level verification latency.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government