You are here

Secure Software Components Leveraging the seL4 Microkernel

Award Information
Agency: Department of Defense
Branch: Defense Advanced Research Projects Agency
Contract: D15PC00132
Agency Tracking Number: D151-003-0003
Amount: $148,722.00
Phase: Phase I
Program: SBIR
Solicitation Topic Code: SB151-003
Solicitation Number: 2015.1
Solicitation Year: 2015
Award Year: 2015
Award Start Date (Proposal Award Date): 2015-06-03
Award End Date (Contract End Date): 2016-04-03
Small Business Information
10415 W. Hwy 42
Goshen, KY 40026
United States
DUNS: 079682061
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
Principal Investigator
 James Graham
 (502) 852-0475
Business Contact
 John Naber
Title: Dr.
Phone: (502) 852-7910
Research Institution

True Secure SCADAs (TSS) primary technical objective is to develop a set of plans and specifications for building secure software components, in the context of seL4, which can be used to improve the cyber-security of the industrial control systems used in critical infrastructure installations. The resulting plan will identify the modules that are needed for this application and will specify a plan for developing, verifying and testing these modules, along with estimates of effort required for implementation of these modules and the level of security assurance expected. TSS will identify both general-purpose and reusable security modules which can be released under an open-source license, as well as application-specific modules for a security preprocessor for industrial control cyber-security, which will have more restrictive licensing terms. This work will significantly expand on earlier work performed for the Department of Homeland Security for Industrial Control Systems (ICS). In particular, the targeted security application will be a security preprocessor device which was developed and prototyped using the OKL4 micro-kernel for legacy ICS installations. Phase I will include planning of the following: security preprocessor architecture, the software component architecture to support this application, general and specific software components, and the software development and verification methodology.

* Information listed above is at the time of submission. *

US Flag An Official Website of the United States Government