A Formal Approach to Constructing Secure Air Vehicle Software

Computer, pp. 14-23, 2018.

Cited by: 0|Bibtex|Views77|DOI:https://doi.org/10.1109/MC.2018.2876051
EI WOS
Other Links: dblp.uni-trier.de|academic.microsoft.com

Abstract:

Current approaches to cyberresiliency rely on patching systems after a vulnerability is discovered. What is needed is a clean-slate, mathematically based approach for building secure software. We developed new tools based on formal methods for building software for unmanned air vehicles that is provably secure against cyberattacks.

Code:

Data:

Your rating :
0

 

Tags
Comments