Safe, Secure, High-Performance Hypervisor: Partitioning Approach to Isolating Untrusted Software

Award Information
Agency:
Department of Defense
Branch
n/a
Amount:
$749,971.00
Award Year:
2012
Program:
SBIR
Phase:
Phase II
Contract:
N66001-12-C-5221
Award Id:
n/a
Agency Tracking Number:
N102-184-0497
Solicitation Year:
2010
Solicitation Topic Code:
N102-184
Solicitation Number:
2010.2
Small Business Information
3445 Lake Eastbrook SE, Grand Rapids, MI, -
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
079456476
Principal Investigator:
Steven VanderLeest
VP of Research&Developm
(616) 929-0399
Steve.VanderLeest@dornerworks.com
Business Contact:
David Dorner
President
(616) 245-8369
David.Dorner@dornerworks.com
Research Institution:
Stub




Abstract
We will continue development of ARINC 653 extensions for Xen, completing time and space partitioning and adding the I/O subsystem (building on our prototype serial driver). We will use more automated tools for our formal methods analysis by collaborating with the Advanced Technology Center of Rockwell Collins. This should allow us to analyze more of the system than we previously considered. Our demonstration of the updated system will show multiple RTOS products running in the unprivileged domains. During this phase we will also move from PC-based development to actual embedded hardware representative of JTRS platforms. We will test the demonstration system by contracting with an independent security testing organization, who will attempt to break the system by adding malware to the partition running an open source application and then endeavor to breach the isolation barriers erected by the hypervisor to modify (or at least read) data in one of the safety-critical or highly secure partitions. We will also subject our certification artifacts to an independent audit by an FAA Designated Engineering Representative (DER) consultant, to confirm the safety of our system.

* information listed above is at the time of submission.

Agency Micro-sites


SBA logo

Department of Agriculture logo

Department of Commerce logo

Department of Defense logo

Department of Education logo

Department of Energy logo

Department of Health and Human Services logo

Department of Homeland Security logo

Department of Transportation logo

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government