Model Checking Based Unmanned Aerial Vehicle (UAV) Security Analysis

ABSTRAKAngka kriminalitas yang meningkat menjadi salah satu permasalahan pembangunan di kota Balikpapan. Tindakan kriminalitas seperti pencurian, penculikan anak, tindakan asusila terhadap perempuan dan sebagainya sangat meresahkan warga. Tidak terkecuali untuk warga perumahan Griya Wiyata Asri (GWA) III, RT 19, Kelurahan Karang Joang, Balikpapan. Sejauh ini, pelaksanaan Siskamling terbukti efektif dalam meminimalisir terjadinya tindak kejahatan di perumahan GWA III, terutama pada malam hari. Namun, permasalahan terjadi pada siang hari karena mayoritas warga perumahan masuk dalam kategori produktif, bekerja sehingga berada di luar perumahan, bahkan ada yang di luar kota. Suasana perumahan sangat sepi, sehingga meninggalkan celah tindakan kriminalitas bisa terjadi pada siang hari. Oleh karena itu, dibutuhkan upaya penanggulan atau pencegahan tindak kriminalitas. Untuk membantu upaya pencegahan tindak kriminalitas, dirakitlah sebuah Unmanned Aerial Vehicle (UAV). UAV ini digunakan untuk memantau kondisi di perumahan GWA III. Metode evaluasi dari pengabdian masyarakat tahap awal ini adalah sebatas melalui observasi hasil pemantauan udara. Dari hasil foto, kejernihan foto dan kondisi perumahan yang dapat diobservasi secara jelas per bingkai foto udara, maka UAV ini berpotensi untuk digunakan sebagai penunjang siskamling dengan permasalahan kurangnya sumber daya manusia pada siang hari di perumahan GWA III ini. Kata kunci: UAV; siskamling; keamanan. ABSTRACTBalikpapan, a city of oil. Despite this predicate, it suffer from high criminal level. This incude robbery, child kidnapping, female abuse that have been a great concern in many residential in Balikpapan. One of this residence is Griya Wiyata Asri III Residence. In this residence, a neigbourhood security system has been made. In this system, the resident of this residence have a shift to do a night watching. This system have been effective in the night, but in the daylight, because most of the people are in productive age, most of them working outside of this residential, make this residential empty, thus, making an opportunity for criminal to occur. To answer this probem, an unmanned aerial vehicle was built to monitor the condition of the neighbourhood. The evaluation of this preliminary stage of this community service was done merely from the results of the aerial view. This aerial view, it is so clear and can capture well the activity done in the neighbourhood in a one frame. So, this UAV have a potential to be used as aid to the neighbourhood security system which have a problem on lacking some human resources in the daylight. Keywords: UAV; security; neighbourhood.

Download Full-text

A Certificateless Pairing-Free Authentication Scheme for Unmanned Aerial Vehicle Networks

Security and Communication Networks ◽

10.1155/2021/9463606 ◽

2021 ◽

Vol 2021 ◽

pp. 1-10

Author(s):

Jingyi Li ◽

Yujue Wang ◽

Yong Ding ◽

Wanqing Wu ◽

Chunhai Li ◽

...

Keyword(s):

Unmanned Aerial Vehicles ◽

Unmanned Aerial Vehicle ◽

Mutual Authentication ◽

Security Analysis ◽

Authentication Scheme ◽

Security Issues ◽

Aerial Vehicles ◽

Vehicle Networks ◽

Aerial Vehicle ◽

Certificateless Signature

In unmanned aerial vehicle networks (UAVNs), unmanned aerial vehicles with restricted computing and communication capabilities can perform tasks in collaborative manner. However, communications in UAVN confront many security issues, for example, malicious entities may launch impersonate attacks. In UAVN, the command center (CMC) needs to perform mutual authentication with unmanned aerial vehicles in clusters. The aggregator (AGT) can verify the authenticity of authentication request from CMC; then, the attested authentication request is broadcasted to the reconnaissance unmanned aerial vehicle (UAV) in the same cluster. The authentication responses from UAVs can be verified and aggregated by AGT before being sent to CMC for validation. Also, existing solutions cannot resist malicious key generation center (KGC). To address these issues, this paper proposes a pairing-free authentication scheme (CLAS) for UAVNs based on the certificateless signature technology, which supports batch verification at both AGT and CMC sides so that the verification efficiency can be improved greatly. Security analysis shows that our CLAS scheme can guarantee the unforgeability for (attested) authentication request and (aggregate) responses in all phases. Performance analysis indicates that our CLAS scheme enjoys practical efficiency.

Download Full-text

Exposing Spoofing Attack on Flocking-Based Unmanned Aerial Vehicle Cluster: A Threat to Swarm Intelligence

Security and Communication Networks ◽

10.1155/2020/8889122 ◽

2020 ◽

Vol 2020 ◽

pp. 1-15

Author(s):

Xinyu Huang ◽

Yunzhe Tian ◽

Yifei He ◽

Endong Tong ◽

Wenjia Niu ◽

...

Keyword(s):

Swarm Intelligence ◽

Unmanned Aerial Vehicle ◽

Ad Hoc ◽

Rapid Development ◽

Security Analysis ◽

Average Delay ◽

Military Applications ◽

Aerial Vehicle ◽

First Arrival ◽

Distance Vector

With the rapid development of wireless communication technology and intelligent mobile devices, unmanned aerial vehicle (UAV) cluster is becoming increasingly popular in both civilian and military applications. Recently, a swarm intelligence-based UAV cluster study, aiming to enable efficient and autonomous collaboration, has drawn lots of interest. However, new security problems may be introduced with such swarm intelligence. In this work, we perform the first detailed security analysis to a kind of flocking-based UAV cluster with 5 policies, an upgrade version of the well-known Boids model. Targeting a realistic threat in a source-to-destination flying task, we design a data spoofing strategy and further perform complete vulnerability analysis. We reveal that such design and implementation are highly vulnerable. After breaking through the authentication of ad hoc on-demand distance vector (AODV) routing protocol by rushing attack, an attacker can masquerade as the first-arrival UAV within a specific scope of destination and generate data spoofing of arrival status to the following UAVs, so as to interfere with their normal flying paths of destination arrival and cause unexpected arrival delays amid urgent tasks. Experiments with detailed analysis from the 5-UAV cluster to the 10-UAV cluster are conducted to show specific feature composition-based attack effect and corresponding average delay. We also discuss promising defense suggestions leveraging the insights from our analysis.

Download Full-text

UAVSim: A simulation testbed for unmanned aerial vehicle network cyber security analysis

2013 IEEE Globecom Workshops (GC Wkshps) ◽

10.1109/glocomw.2013.6825196 ◽

2013 ◽

Cited By ~ 9

Author(s):

Ahmad Y. Javaid ◽

Weiqing Sun ◽

Mansoor Alam

Keyword(s):

Unmanned Aerial Vehicle ◽

Cyber Security ◽

Security Analysis ◽

Aerial Vehicle ◽

Vehicle Network

Download Full-text

Cooperative Navigation between a Ground Vehicle and an Unmanned Aerial Vehicle in GNSS-Challenged Environments

Proceedings of the 29th International Technical Meeting of The Satellite Division of the Institute of Navigation (ION GNSS+ 2016) ◽

10.33012/2016.14623 ◽

2016 ◽

Author(s):

Victor O. Sivaneri ◽

Jason N. Gross

Keyword(s):

Unmanned Aerial Vehicle ◽

Ground Vehicle ◽

Cooperative Navigation ◽

Aerial Vehicle

Download Full-text

Study on Fault Diagnosis of Planetary Gearbox in Unmanned Aerial Vehicle Using Multi sensor Data

Journal of Applied Reliability ◽

10.33162/jar.2020.12.20.4.332 ◽

2020 ◽

Vol 20 (4) ◽

pp. 332-342

Author(s):

Hyung Jun Park ◽

Seong Hee Cho ◽

Kyung-Hwan Jang ◽

Jin-Woon Seol ◽

Byung-Gi Kwon ◽

...

Keyword(s):

Fault Diagnosis ◽

Unmanned Aerial Vehicle ◽

Sensor Data ◽

Planetary Gearbox ◽

Aerial Vehicle

Download Full-text

Results of Spatial Structure of Atmosphere Radiation in a Spectral Range (1.5–2) µm Research

Light & Engineering ◽

10.33383/2017-061 ◽

2018 ◽

pp. 7-13

Author(s):

Anton M. Mishchenko ◽

Sergei S. Rachkovsky ◽

Vladimir A. Smolin ◽

Igor V . Yakimenko

Keyword(s):

Spatial Structure ◽

Unmanned Aerial Vehicle ◽

Wavelength Range ◽

Spectral Range ◽

Near Ir ◽

Optoelectronic Systems ◽

Aerial Vehicle

Results of experimental studying radiation spatial structure of atmosphere background nonuniformities and of an unmanned aerial vehicle being the detection object are presented. The question on a possibility of its detection using optoelectronic systems against the background of a cloudy field in the near IR wavelength range is also considered.

Download Full-text