Intelligent Automation, Inc. — Department of Defense SBIR Phase I: A19-103
Intelligent Automation, Inc. — SBIR Phase I award from Department of Defense.
- Amount
- $111,500
- Agency
- Department of Defense · Army
- Program / Phase
- SBIR · Phase I
- Topic
- A19-103
- Solicitation
- 19.2
- NAICS
- —
- Place of performance
- MD
- Period
- 2019-10-25 → 2020-08-14
Description
In this proposed effort, we propose to develop a Cross-Layer Trusted Computing Architecture for High Assurance Systems. The key innovation of this proposal includes developments of: (1) integration the state-of-the-art open source microkernel OS (sel4) and hardware architecture (RISC-V processor); (2) secure tagged hardware architecture to protect physical resources; (3) minimum Trusted Computing Base (TCB) in the microkernel system software; (4) completely isolates processes and systems at both software and hardware level; The Cross-Layer trusted computing architecture can enforces a unified and holistic security policies and verification to guarantee high assurance requirements. Finally, all the proposed techniques will be integrated in a functional prototype to demonstrate the feasibility of CoTrust.