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

Award Information
Agency: Department of Defense
Branch: Navy
Contract: N66001-12-C-5221
Agency Tracking Number: N102-184-0497
Amount: $749,971.00
Phase: Phase II
Program: SBIR
Awards Year: 2012
Solicitation Year: 2010
Solicitation Topic Code: N102-184
Solicitation Number: 2010.2
Small Business Information
3445 Lake Eastbrook SE, Grand Rapids, MI, -
DUNS: 079456476
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Steven VanderLeest
 VP of Research&Developm
 (616) 929-0399
 Steve.VanderLeest@dornerworks.com
Business Contact
 David Dorner
Title: President
Phone: (616) 245-8369
Email: 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
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government