Higher Assurance and Lower Cost Separation Kernels

Award Information
Agency: Department of Defense
Branch: Army
Contract: W15P7T-12-C-A105
Agency Tracking Number: A2-4676
Amount: $719,945.00
Phase: Phase II
Program: SBIR
Awards Year: 2012
Solicitation Year: 2010
Solicitation Topic Code: A10-102
Solicitation Number: 2010.2
Small Business Information
Galois, Inc.
421 SW Sixth, Suite 300, Portland, OR, -
DUNS: 098009918
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Dylan McNamee
 Principal Investigator
 (503) 808-7187
 dylan@galois.com
Business Contact
 Jodee LeRoux
Title: Contracts
Phone: (503) 808-7209
Email: jodee@galois.com
Research Institution
 Stub
Abstract
We propose to build a separation kernel with stronger evidence of correctness than any current product on the market. We will do this by building on work done by Australia's National Information Communications Technology Research Center (NICTA), which includes a complete code-level formal proof of correctness of the L4.verified microkernel running on the ARM processor. Working with NICTA, we will build a system with the separation properties specified by the Separation Kernel Protection Profile (SKPP), and we will augment the proofs of correctness to include the separation properties. If the Common Criteria defined an EAL 8, this system would meet that level of assurance. To reduce the costs of developing and deploying software on a MILS platform, we will enable R & D customers to defer their deployment hardware/software platform selection until later in the development stage by developing an open source prototyping environment for separation kernel projects. We intend to make the set of tools freely available and open source. This should allow preoperational capabilities to be demonstrated with little-to-no cost beyond developer time. Delaying platform lock-in will create a more cost- and feature-competitive marketplace for hardware and software selection.

* 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