Towards Incremental and Compositionally Verifiable Security for CHIC-Centric Cyber Physical Systems
• Presentation
The project aims to achieve incremental and compositionally verifiable security for CHIC-centric Cyber Physical Systems (CPS).
Publisher
Software Engineering Institute
Topic or Tag
Watch
Abstract
This problem stems from the fact that the CHIC (Commodity Heterogenous Interconnected Computing-platforms) stack is heterogeneous by nature: we have disparate hardware platform architecture, multiple software layers and millions of lines of software spread across those layers with diverse development pedigree. This opens up a plethora of attack surfaces.
An effective solution to this problem must meet three goals:
- be provable, so we can have assurance on the security delivered
- allow the DoD to procure and maintain such provably secure CPS implementations in a cost-effective manner
- preserve existing functionality to max extent possible or be innocuous (stemming from the NASA innocuity definition)