涛 夏

Dr. 涛 夏

orcid

Research Focus & Metrics

Academic Career Length

5Years (2022-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
30 July 2024 in Drones
Verified
Journal Article
Open access
PDF file
涛夏涛 夏
涛 夏
MWMenglin Wang
Menglin Wang
JHJun He
Jun He
GYGang Yang
Gang Yang
LFLinna Fan
Linna Fan
GWGuoheng Wei
Guoheng Wei
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.

3 July 2023 in Electronics
Verified
Journal Article
Open access
PDF file
涛夏涛 夏
涛 夏
MWMenglin Wang
Menglin Wang
JHJun He
Jun He
SLShaofeng Lin
Shaofeng Lin
YSYongqi Shi
Yongqi Shi
LGLiyuan Guo
Liyuan Guo
Unmanned aerial vehicles (UAV) play a vital role in many fields, such as agricultural planting, security patrol, emergency rescue, and so on. The development and implementation of these devices have become vital in terms of reachability and usability. Unfortunately, as drones become more widely used in various fields, they become more and more vulnerable to attacks and security threats, including, but not limited to, eavesdropping, man-in-the-middle attacks, and known session key attacks. In order to deal with these attacks and security threats and meet the needs of lightweight UAV communication, a secure and efficient authentication scheme is essential. To meet the security and lightweight requirements of an identity authentication scheme in a UAV communication network, this paper proposes an identity authentication scheme sdronelig based on an elliptic curve cryptosystem. The scheme realizes the mutual authentication and session key agreement configuration between the UAV and the ground station, and the authentication and key agreement between the UAVs can be realized with the help of the control station. The sdronelig authentication scheme is based on the ECDH key exchange protocol in the elliptic curve cryptography algorithm and adopts the MAC message authentication code technology and the method of pre-calculating part of the process. Under the premise of ensuring the security of the UAV communication network, the authentication efficiency is improved, the communication overhead and communication times are reduced, and the lightweight requirement of the UAV authentication scheme is met. Additionally, a formal verification tool is used to verify the security of the sdronelig scheme under the Dolev-Yao threat model, which is suitable for UAV networks. Finally, a detailed comparative study was conducted on security features, communication overhead, the number of communications, and computational overhead. The results show that the proposed sdronelig authentication scheme not only provides superior security features but also has better or comparable overhead compared to other existing authentication schemes.

1 January 2022 in Wireless Communications and Mobile Computing
Verified
Journal Article
Open access
涛夏涛 夏
涛 夏
JHJun He
Jun He
With the advancement of technology, the collaborative networking of multiple UAVs has become a mainstream trend. Due to the characteristics of UAV communication networks, there are many security issues with their communication networks. At present, the UAV communication network needs a secure and efficient authentication scheme. In this paper, we optimise an UAV authentication scheme based on the SM2 algorithm, design a two‐way authentication mechanism to improve the security of the authentication scheme, and adopt the method of preshared secret information instead of digital signatures to improve the efficiency of authentication. Subsequently, the safety proof was based on the Dolev‐Yao model. Finally, simulation experiments demonstrate that the scheme is more efficient in authentication compared to other similar authentication schemes and meets expectations.

25 November 2024 in IEEE Wireless Communications Letters
Verified
Journal Article
Closed access
涛夏涛 夏
涛 夏
MWMenglin Wang
Menglin Wang
JHJun He
Jun He
LNLin Ni
Lin Ni
GYGang Yang
Gang Yang
The development of UAV networking technology is leading to growing concerns about the security of UAV swarms. Due to the open-access communication environment, UAV swarms are highly vulnerable to attack means such as spoofing attacks and known session key attacks. Therefore, it is essential to establish how authentication and session key agreements can be achieved in large-scale UAV node networking and dynamic changes in the UAV swarm. A flexible and efficient authentication and key agreement (AKA) scheme is necessary to ensure the security of UAV swarms. This letter proposes an AKA scheme for UAV swarms based on the Latin square, which combines the BLS signature and ECDH algorithm. The scheme supports identity authentication and session key agreement in multi-UAV node networking and swarm dynamic changes. Theoretical analysis and experimental results demonstrate that the scheme can effectively resist various attacks. Additionally, compared to existing schemes, the computational and communication costs are significantly reduced.

26 March 2026 in Applied Sciences
Verified
Journal Article
Open access
PDF file
GYGang Yang
Gang Yang
LNLin Ni
Lin Ni
涛夏涛 夏
涛 夏
QSQinfang Shi
Qinfang Shi
JLJiajian Li
Jiajian Li
Unmanned Aerial Vehicle (UAV) swarms operating in contested environments face a critical “semantic gap” between raw, high-velocity network traffic and high-level mission security constraints, compounded by the risk of privacy leakage during collaborative learning. Existing deep learning (DL)-based Network Intrusion Detection Systems (NIDSs) suffer from opacity, prohibitive resource consumption, and vulnerability to gradient leakage attacks in federated settings, while traditional rule-based systems fail to handle encrypted payloads and evolving attack patterns. To bridge this gap, we present NeSySwarm-IDS (Neuro-Symbolic Swarm Intrusion Detection System), an end-to-end differentiable neuro-symbolic framework that simultaneously achieves high accuracy, strong privacy guarantees, and built-in interpretability under resource constraints. NeSySwarm-IDS integrates an extremely lightweight 1D convolutional neural network with a differentiable Łukasiewicz fuzzy logic reasoner incorporating attack-specific rules. By aggregating only low-dimensional logic rule weights with calibrated differential privacy noise, we drastically reduce communication overhead while providing (ϵ,δ)-DP guarantees with negligible utility loss. Extensive experiments on the UAV-NIDD dataset and our self-collected dataset demonstrate that NeSySwarm-IDS achieves near-perfect detection accuracy, significantly outperforming traditional machine learning baselines despite using limited training data. A detailed case study on GPS spoofing confirms the interpretability of our approach, providing axiomatic explanations suitable for autonomous mission verification. These results establish that end-to-end neuro-symbolic learning can effectively bridge the semantic gap in UAV swarm security while ensuring privacy and interpretability, offering a practical pathway for deploying trustworthy AI in contested environments.

12 January 2026 in Drones
Verified
Journal Article
Open access
PDF file
YSYuanqiang Sun
Yuanqiang Sun
XZXueqing Zhang
Xueqing Zhang
MWMenglin Wang
Menglin Wang
YYYangqiang Yang
Yangqiang Yang
涛夏涛 夏
涛 夏
TCTonghe Cui
Tonghe Cui
With the continuous proliferation of radio frequency devices, electromagnetic environments in various regions are becoming increasingly complex. Effective monitoring of the electromagnetic environment and identification of interference sources have thus become critical tasks for maintaining order in the electromagnetic spectrum. In recent years, rapid advances in UAV technology have spurred exploration of UAV-based electromagnetic spectrum monitoring as a novel approach. However, the limited payload capacity and endurance of UAVs constrain their monitoring capabilities. To address these challenges, we propose HMUDRL, a distributed heterogeneous multi-agent deep reinforcement learning algorithm. By leveraging cooperative operation between cluster-head UAVs (CH) and cluster-monitoring UAVs (CM) within a heterogeneous UAV swarm, HMUDRL enables high-precision detection and wide-area localization of UHF radiation source. Furthermore, we integrate a minimum-gap localization algorithm that exploits the spatial distribution of multiple CM to accurately pinpoint anomalous radiation sources. Simulation results validate the effectiveness of HMUDRL: in the later stages of training, the success rate of localizing target radiation sources converges to 96.1%, representing an average improvement of 1.8% over baseline algorithms; localization accuracy, measured by root mean square error (RMSE), is enhanced by approximately 87.3% compared to baselines; and communication overhead is reduced by more than 80% relative to homogeneous architectures. These results demonstrate that HMUDRL effectively addresses the challenges of data transmission control and sensing-localization performance faced by UAVs in UHF spectrum monitoring.