USA flag logo/image

An Official Website of the United States Government

DivA: Automated Generation of Logical Code Diversity

Award Information

Agency:
Department of Defense
Branch:
Navy
Award ID:
Program Year/Program:
2013 / STTR
Agency Tracking Number:
N11A-023-0140
Solicitation Year:
2011
Solicitation Topic Code:
N11A-T023
Solicitation Number:
2011.
Small Business Information
ATC - NY
33 Thornwood Drive, Suite 500 Ithaca, NY -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 2
Fiscal Year: 2013
Title: DivA: Automated Generation of Logical Code Diversity
Agency / Branch: DOD / NAVY
Contract: N00014-13-C-0048
Award Amount: $499,994.00
 

Abstract:

If a computer system suffers a cyber attack, any compromised component that is simply reinstalled will remain vulnerable to the attack that damaged it; so replacements should provide equivalent services implemented differently. This defense can be applied proactively, to create a"moving target"by periodic reconfiguration. Implementing these strategies requires an effective way to create diversity. Randomization has proven effective against many known attacks. ATC NY and Cornell University will develop DivA to provide a fundamentally different, and complementary, logical diversityto generate modules that provide equivalent services by different algorithms. DivA exploits the constructive logic principle of"proofs as programs."A developer creates an initial implementation of a component with a program extracted from a constructive proof; DivA uses heuristic methods to generate alternative proofs of the same proposition, and therefore alternative implementations of the component (with strong guarantees of equivalence). The Nuprl logical programming environment provides powerful support for both of these tasks. DivA will also provide a library interface through which a system integrator or automated recovery mechanism can discover modules and thereby create a vast number of logically distinct versions of the same system.

Principal Investigator:

David Guaspari
Senior Staff Scientist
(607) 257-1975
davidg@atc-nycorp.com

Business Contact:

Richard Smith
Controller
(607) 257-1975
rick@atc-nycorp.com
Small Business Information at Submission:

ATC - NY
P.O. Box 422 Trumansburg, NY 14886-0422

EIN/Tax ID: 161549760
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Research Institution Information:
Cornell University
Computing and Information Sci
496 Rhodes Hall
Ithaca, NY 14853-
Contact: Lori Dempsey
Contact Phone: (607) 255-6158