A Formal Approach to Constructing Secure Air Vehicle Software
| العنوان: | A Formal Approach to Constructing Secure Air Vehicle Software |
|---|---|
| المؤلفون: | Adam Foltzer, Ihor Kuz, Michal Podhradsky, Darren Cofer, June Andronick, Gernot Heiser, Douglas Alan Stuart, Lee Pike, Gerwin Klein, Andrew Gacek, Michael W. Whalen, John Backes |
| المصدر: | Computer. 51:14-23 |
| بيانات النشر: | Institute of Electrical and Electronics Engineers (IEEE), 2018. |
| سنة النشر: | 2018 |
| مصطلحات موضوعية: | General Computer Science, Computer science, business.industry, Vulnerability, 020206 networking & telecommunications, 020207 software engineering, 02 engineering and technology, Software maintenance, Formal methods, Software, Software security assurance, 0202 electrical engineering, electronic engineering, information engineering, Software engineering, business, Formal verification, Vulnerability (computing) |
| الوصف: | 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. |
| تدمد: | 1558-0814 0018-9162 |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_________::9e45779b06c236eb724a26b5d35eae0a https://doi.org/10.1109/mc.2018.2876051 |
| حقوق: | CLOSED |
| رقم الأكسشن: | edsair.doi...........9e45779b06c236eb724a26b5d35eae0a |
| قاعدة البيانات: | OpenAIRE |
| تدمد: | 15580814 00189162 |
|---|