Semantically Aware Foundation Environment (SAFE) for Clean-Slate Design of Resilient, Adaptive Secure Hosts (CRASH)
Technical Report,11 Aug 2010,28 Sep 2015
BAE Systems Burlington United States
Pagination or Media Count:
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.