The unmanned aerial vehicle (UAV) network serves as the core infrastructure of the future low-altitude intelligent network, providing flexible aerial smart services for various industries through inter-UAV collaboration and ground-air connectivity. With the advancement of quantum computing, quantum algorithms pose a serious threat to UAV communication networks. Traditional authentication protocols based on classical number-theoretic problems are no longer secure against quantum attacks. To address the challenges of quantum threats and the inherent characteristics of UAVs, such as high mobility and resource constraints, this paper proposes a quantum resistant authentication and key agreement protocol for UAV networks. The comprehensive informal security analysis demonstrates the robustness of the protocol against various attacks, particularly attacks based on quantum computing. Furthermore, the authentication component of the protocol adopts a lightweight design, reducing computational overhead by up to 53.57%, thereby balancing security and efficiency.
The unmanned aerial vehicle (UAV) network serves as the core infrastructure of the future low-altitude intelligent network, providing flexible aerial smart services for various industries through inter-UAV collaboration and ground-air connectivity. With the advancement of quantum computing, quantum algorithms pose a serious threat to UAV communication networks. Traditional authentication protocols based on classical number-theoretic problems are no longer secure against quantum attacks. To address the challenges of quantum threats and the inherent characteristics of UAVs, such as high mobility and resource constraints, this paper proposes a quantum resistant authentication and key agreement protocol for UAV networks. The comprehensive informal security analysis demonstrates the robustness of the protocol against various attacks, particularly attacks based on quantum computing. Furthermore, the authentication component of the protocol adopts a lightweight design, reducing computational overhead by up to 53.57%, thereby balancing security and efficiency.
With the widespread deployment of unmanned aerial vehicles (UAVs) in both military and civilian domains, the demand for secure and encrypted communications in UAV networks integrated with ground stations has become increasingly prominent. Authentication and key agreement protocols are widely regarded as essential technical mechanisms for ensuring the security of data transmission in wireless communication environments. However, the rapid advancement of quantum computing technologies poses potential security threats to conventional protocols based on elliptic curve cryptography. To address these challenges, this paper proposes a quantum-secure authentication and key agreement protocol tailored for UAV–ground station communication scenarios. By incorporating Crystal-Kyber, the proposed protocol ensures quantum resistance while striving to minimize system computational overhead. The results of the informal security analysis indicate that the proposed protocol can effectively withstand a variety of known attacks. In addition, comprehensive comparative evaluations with existing related protocols demonstrate that, while maintaining low computational overhead, the proposed scheme exhibits stronger robustness in terms of security and functional properties.
Unmanned aerial vehicles (UAVs) play a critical role in various fields, including logistics, agriculture, and rescue operations. Effective identity authentication and key agreement schemes are vital for UAV networks to combat threats. Current schemes often employ algorithms like elliptic curve cryptography (ECC) and Rivest–Shamir–Adleman (RSA), which are vulnerable to quantum attacks. To address this issue, we propose LIGKYX, a novel scheme combining the quantum-resistant Kyber algorithm with the hash-based message authentication code (HMAC) for enhanced security and efficiency. This scheme enables the mutual authentication between UAVs and ground stations and supports secure session key establishment protocols. Additionally, it facilitates robust authentication and key agreement among UAVs through control stations, addressing the critical challenge of quantum-resistant security in UAV networks. The proposed LIGKYX scheme operates based on the Kyber algorithm and elliptic curve Diffie–Hellman (ECDH) key exchange protocol, employing the HMAC and pre-computation techniques. Furthermore, a formal verification tool validated the security of LIGKYX under the Dolev–Yao threat model. Comparative analyses on security properties, communication overhead, and computational overhead indicate that LIGKYX not only matches or exceeds existing schemes but also uniquely counters quantum attacks effectively, ensuring the security of UAV communication networks with a lower time overhead for authentication and communication.
Secure communication in unmanned aerial vehicle (UAV) networks is critical for a wide range of civil and military applications, from precision agriculture and disaster response to critical infrastructure monitoring. These missions require lightweight, tamper-resistant, and quantum-secure authentication mechanisms. We examine the recently proposed Quantum-Resistant Identity Authentication and Key Agreement Scheme for UAV Networks Based on the Kyber Algorithm (LIGKYX) and demonstrate its critical weaknesses, including a lack of Perfect Forward/Backward Secrecy (PFS/PBS), and desynchronization vulnerabilities. To address these limitations, we propose a novel authentication and key agreement protocol that integrates SRAM-based Physical Unclonable Functions (PUFs) with the Kyber post-quantum key encapsulation mechanism, eliminating the reliance on Elliptic Curve Cryptography (ECC) and stateful counters used in LIGKYX. The security of the proposed protocol is validated through both formal and informal analyses, demonstrating strong resistance to replay, impersonation, man-in-the-middle, desynchronization, and UAV capture attacks. Performance evaluation confirms its efficiency: the total communication overhead is reduced by 7.1% (from 1836 bytes in LIGKYX to 1705 bytes in the proposed scheme), and the total authentication time is reduced by more than 54%, from 87.84 ms in LIGKYX to 40.23 ms in the proposed scheme. These improvements demonstrate that the protocol not only strengthens security but also significantly reduces computation and communication costs. Overall, the proposed solution offers a lightweight, scalable, and quantum-resistant authentication framework tailored for resource-constrained UAV environments, representing a substantial advancement over existing schemes such as LIGKYX.
The proliferation of Unmanned Aerial Vehicle (UAV) networks and their numerous benefits in critical scenarios, UAV become crucial for Internet of Drones (IoD) operations. However, due to their communication methods, such as the micro-air-vehicle communication (MAVlink) protocol, wireless connections, and potentially insecure Internet channels, UAV networks are highly vulnerable to potentially lethal attacks. To overcome such issues, public key cryptographic techniques relying on integer factorization problem (IFP) and discrete logarithm problems (DLP) have been used form decades. However, with the significant advancements in quantum computing and adaptation of Shor's algorithm such cryptographic techniques based on IFP and DLP become insecure today and vulnerable to quantum attacks, which demand new ways of thinking about security. In this paper, we propose a quantum-secure access control protocol for UAV-based IoD applications, and its primary focus is on preserving user anonymity. A comprehensive security analysis validates the accuracy, security, and resilience against various active and passive attacks in both classical and quantum scenarios. A thorough formal security verification using the Scyther automated software validation tool to showcases the robustness of the proposed scheme. Furthermore, a real-time testbed experiment on Raspberry Pi 4 devices to assess the computational overhead of various cryptographic primitives demonstrates its practicality. Lastly, a detailed comparative performance evaluation, including authentication accuracy, performance under unknown attacks with existing related schemes illustrates its scalability and efficiency in real-world applications.
The integration of unmanned aerial vehicles (UAVs) into vehicular ad hoc networks (VANETs) has emerged as a promising solution to overcome the limited coverage of conventional roadside unit (RSU)-based infrastructures. However, UAVs operate in open environments and cannot be fully trusted, while the rapid advancement of quantum computing threatens the long-term security of classical public-key cryptographic systems. As a result, many existing UAV-based VANET authentication schemes face fundamental limitations in future deployments. Most existing schemes either lack post-quantum security or incur excessive computational and communication overhead, making them unsuitable for real-time and high-mobility vehicular environments. In addition, the common assumptions of trusted UAVs do not align with realistic threat models. To address these issues, this paper proposes a lightweight post-quantum authentication and key exchange protocol based on the module learning with errors (MLWE) problem and physically unclonable functions (PUFs). The proposed scheme treats UAVs as untrusted relay nodes and excludes them from session key generation. Its security is evaluated using informal analysis, the real-or-random (RoR) model, BAN logic, and AVISPA, while performance evaluation indicates improved efficiency compared to existing schemes.
Abstract With the advancement of information technology and the reduction of costs, the application of unmanned aerial vehicle (UAV) has gradually expanded from the military field to the industrial field and civilian field. It brings great convenience to people in surveillance, detection, transportation, emergency rescue etc. However, UAVs usually work in harsh natural environments, and their communication security confronts various challenges. Due to UAVs' limited resources, such as computing capability, storage space, and energy, traditional security protection schemes based on complex cryptographic algorithms are not suitable for UAV systems directly. Therefore, a two‐stage lightweight identity authentication and key agreement protocol for UAV is proposed in this paper. The entire process only uses hash and XOR operations, which significantly improves the authentication efficiency. Simultaneously, the physical unclonable function (PUF) is introduced and embedded into the UAV hardware to ensure UAV network communication security when a UAV suffers a physical capture attack. In the paper, the security of the proposed protocol is proved with Burrows–Abadi–Needham (BAN) logic, Real‐or‐Random (ROR) model, and AVISPA simulation tools. An informal security analysis is also provided to illustrate that the protocol satisfies the security requirements of UAV networks. Finally, the protocol is compared with other existing protocols regarding function properties, computation cost, and communication cost, which shows that the proposed protocol has effectiveness and practicality.