CRASH
Clean-slate Resilient Adaptive Secure Hosts
Correct-by-Construction Attack-Tolerant Systems
In response to an attack, the CRASH Project software will adapt on-the-fly. As components of the computer system come under attack, that targeted code is modified to deter the threat. The substituted code will come from a library of code substitutions that been proven functionally equivalent. The key to developing the library is the Logical Programming Environment (LPE) system which allows for rapid development and formal testing of substitute code.