Semantically Aware Foundation Environment (SAFE) for Clean-Slate Design of Resilient, Adaptive Secure Hosts (CRASH)
Abstract
The Semantically Aware Foundation Environment (SAFE) project provides a highly reliable, secure operating environment that substantially advances the state of the art with respect to fielding secure software systems in a hostile environment. The goal of the SAFE project, which is part of the larger DARPA Clean-slate Design of Resilient, Adaptive Secure Hosts (CRASH) program, is to create a secure, robust computing environment. SAFE takes a clean slate approach, starting with secure hardware, and then layering on formally verified software components. A key crosscutting design goal of the SAFE computational stack is to make safety the default consideration, and to make this default (safety) easy to program. The delivered SAFE system consists of a high-fidelity hardware simulation using field programmable gate arrays (FPGAs), with a set of runtime services (ConcreteWare) running on the hardware. Secure applications can be prototyped in the Breeze high-level programming language; lower-level services are written in the Tempest systems programming language. SAFE provides a substrate upon which to build resilient applications and higher level secure languages.
Document Details
- Document Type
- Technical Report
- Publication Date
- Feb 01, 2016
- Accession Number
- AD1007956
Entities
People
- Amanda Strnad
- Howard Reubenstein
- Joseph Fahey
- Silviu Chiricescu
- Theophilos Giannakopoulos
Organizations
- BAE Systems