Model Checking Based Unmanned Aerial Vehicle (UAV) Security Analysis

Abstract

For the past few years, there has been an increase in the use of Unmanned Aerial Vehicles (UAVs). Referred popularly as drones, this technology was initially developed to perform military operations. Later they were used in different civilian sectors like agriculture, environment, disaster management, etc. It has been predicted that by the end of the year 2036, the UAV industry would soar up to $30 billion. However, an increase in the use of UAVs meant that there would be a rise in the risk of security. This paper talks about the different security attacks that UAVs suffer. It also proposes and implements a Probabilistic Model Checking (PMC) model for these attacks. The proposed model can be used to study the probability of success, cost, and attempts required for a variety of UAV attacks.