共 52 条
[1]
Finding Security Vulnerabilities in Unmanned Aerial Vehicles Using Software Verification
[J].
2019 INTERNATIONAL WORKSHOP ON SECURE INTERNET OF THINGS (SIOT 2019),
2019,
:9-17
[3]
ArduPilot Development Team, 2023, ArduPilot
[4]
ARM, 2022, TrustZone for Cortex-A
[5]
The System-Level Simplex Architecture for Improved Real-Time Embedded System Safety
[J].
15TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATION SYMPOSIUM: RTAS 2009, PROCEEDINGS,
2009,
:99-107
[6]
Directed Greybox Fuzzing
[J].
CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY,
2017,
:2329-2344
[7]
Choi CH, 2016, INT CONF CONTR AUTO, P132, DOI 10.1109/ICCAIS.2016.7822448
[8]
Cox B, 2006, USENIX Association Proceedings of the 15th USENIX Security Symposium, P105
[10]
Dutt S, 2005, ELECTRICAL ENGINEERING HANDBOOK, P427, DOI 10.1016/B978-012170960-0/50034-7