UAV Security Analysis Framework

Abstract

This study presents a framework that allows for various types of checks to detect weaknesses in UAV subsystems. The UAV testing process is automated and allows the operator only to select the types of checks or types of structural and functional characteristics that the operator wants to test. To ensure the possibility of automated verification, implemented databases are used, which include a catalog of structural characteristics, threats, vulnerabilities, and attacks. These catalogs are many-to-many related, and thanks to these links, it is possible to identify threats or vulnerabilities specific to a particular structural characteristic. In essence, such an architecture is a knowledge base based on an ontological model. Thanks to this architecture of the system, it is enough for the operator to determine what types of structural characteristics need to be checked and the system will give him information about the vulnerabilities of the UAV.