A Formal Approach to Constructing Secure Air Vehicle Software.

Darren D. Cofer,Andrew Gacek,John Backes,Michael W. Whalen,Lee Pike,Adam Foltzer,Michal Podhradsky,Gerwin Klein,Ihor Kuz,June Andronick,Gernot Heiser,Douglas Stuart

Computer（2018）

引用 37|浏览191

暂无评分

摘要

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.

查看译文

关键词

Computer architecture,Computer security,Software maintenance,Computer crime,Unmanned aerial vehicles,Software security

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要