USA flag logo/image

An Official Website of the United States Government

Higher Assurance and Lower Cost Separation Kernels

Award Information

Agency:
Department of Defense
Branch:
Army
Award ID:
Program Year/Program:
2012 / SBIR
Agency Tracking Number:
A2-4676
Solicitation Year:
2010
Solicitation Topic Code:
A10-102
Solicitation Number:
2010.2
Small Business Information
Galois, Inc.
421 SW Sixth Avenue Suite 300 Portland, OR 97204-1662
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 2
Fiscal Year: 2012
Title: Higher Assurance and Lower Cost Separation Kernels
Agency / Branch: DOD / ARMY
Contract: W15P7T-12-C-A105
Award Amount: $719,945.00
 

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.

Principal Investigator:

Dylan McNamee
Principal Investigator
(503) 808-7187
dylan@galois.com

Business Contact:

Jodee LeRoux
Contracts
(503) 808-7209
jodee@galois.com
Small Business Information at Submission:

Galois, Inc.
421 SW Sixth Suite 300 Portland, OR -

EIN/Tax ID: 931278540
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No