USA flag logo/image

An Official Website of the United States Government

Analyzing the Data-Plane in a Heterogeneous Network

Award Information

Agency:
Department of Defense
Branch:
N/A
Award ID:
Program Year/Program:
2013 / SBIR
Agency Tracking Number:
N123-162-0173
Solicitation Year:
2012
Solicitation Topic Code:
N123-162
Solicitation Number:
2012.3
Small Business Information
Veriflow Systems
1509 Quaker Hollow Ct S Buffalo Grove, IL 60089-6835
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2013
Title: Analyzing the Data-Plane in a Heterogeneous Network
Agency: DOD
Contract: N66001-13-P-5117
Award Amount: $74,543.00
 

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.

Principal Investigator:

Serena Chan
Chief Operating Officer
(607) 351-4828
serenaschan@yahoo.com

Business Contact:

Matthew Caesar
President
(847) 323-2968
mccaesar@gmail.com
Small Business Information at Submission:

Veriflow Systems Inc
1509 Quaker Hollow Ct S Buffalo Grove, IL -

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