You are here

Analyzing the Data-Plane in a Heterogeneous Network

Award Information
Agency: Department of Defense
Branch: Navy
Contract: N66001-13-P-5117
Agency Tracking Number: N123-162-0173
Amount: $74,543.00
Phase: Phase I
Program: SBIR
Solicitation Topic Code: N123-162
Solicitation Number: 2012.3
Timeline
Solicitation Year: 2012
Award Year: 2013
Award Start Date (Proposal Award Date): 2013-04-25
Award End Date (Contract End Date): 2013-10-24
Small Business Information
1509 Quaker Hollow Ct S
Buffalo Grove, IL -
United States
DUNS: 078622598
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
Principal Investigator
 Serena Chan
 Chief Operating Officer
 (607) 351-4828
 serenaschan@yahoo.com
Business Contact
 Matthew Caesar
Title: President
Phone: (847) 323-2968
Email: 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. *

US Flag An Official Website of the United States Government