A Formal Approach to Constructing Secure Air Vehicle Software
- 1 November 2018
- journal article
- research article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
- Vol. 51 (11), 14-23
- https://doi.org/10.1109/mc.2018.2876051
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.Keywords
Funding Information
- Defense Advanced Research Projects Agency (FA8750-12-9-0179)
This publication has 6 references indexed in Scilit:
- The JKind Model CheckerPublished by Springer Science and Business Media LLC ,2018
- ResolutePublished by Association for Computing Machinery (ACM) ,2014
- Comprehensive formal verification of an OS microkernelACM Transactions on Computer Systems, 2014
- OCRA: A tool for checking the refinement of temporal contractsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2013
- Your "What" Is My "How": Iteration and Hierarchy in System DesignIEEE Software, 2012
- Assurance Based Development of Critical SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007