Higher Assurance and Lower Cost Separation Kernels

Award Information
Agency:
Department of Defense
Branch
Army
Amount:
$719,945.00
Award Year:
2012
Program:
SBIR
Phase:
Phase II
Contract:
W15P7T-12-C-A105
Award Id:
n/a
Agency Tracking Number:
A2-4676
Solicitation Year:
2010
Solicitation Topic Code:
A10-102
Solicitation Number:
2010.2
Small Business Information
421 SW Sixth, Suite 300, Portland, OR, -
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
098009918
Principal Investigator:
DylanMcNamee
Principal Investigator
(503) 808-7187
dylan@galois.com
Business Contact:
JodeeLeRoux
Contracts
(503) 808-7209
jodee@galois.com
Research Institute:
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

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

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