Research on model validation of routing protocol for UAV swarm cooperative disaster relief system

Tonghao Wei; Jie Liu; Fei Yang; Wenxing Han; Wei Jiang

doi:10.1117/12.3026946

8 April 2024 Research on model validation of routing protocol for UAV swarm cooperative disaster relief system

Tonghao Wei, Jie Liu, Fei Yang, Wenxing Han, Wei Jiang

Proceedings Volume 13090, International Conference on Computer Application and Information Security (ICCAIS 2023); 130904J (2024) https://doi.org/10.1117/12.3026946
Event: International Conference on Computer Application and Information Security (ICCAIS 2023), 2023, Wuhan, China

Abstract

In recent years, with the continuous expansion of unmanned aerial vehicle (UAV) swarm applications and the rapid development of the UAV self-organizing network system, the related security threats have also increased. In this paper, we conduct the communication model of the UAV swarm cooperative disaster relief system by verifying the security attributes of the UAV swarm cooperative disaster relief system based on the dynamic source routing (DSR) protocol and we also analyze and verify their security attributes. Finally, we propose a novel scheme to model, characterize, and verify the security attributes of the UAV swarm communication networks. It provides a formal analysis and verification method for verifying the security attributes of self-organized network systems, simplifying a series of challenging verification processes that come with demonstrating the security attributes of the system through simulation experiments.

Citation Download Citation

Tonghao Wei, Jie Liu, Fei Yang, Wenxing Han, and Wei Jiang "Research on model validation of routing protocol for UAV swarm cooperative disaster relief system", Proc. SPIE 13090, International Conference on Computer Application and Information Security (ICCAIS 2023), 130904J (8 April 2024); https://doi.org/10.1117/12.3026946

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available