计算机科学
可扩展性
试验台
密码学
稳健性(进化)
密码协议
计算机网络
架空(工程)
安全通信
分布式计算
访问控制
窃听
安全性分析
密码原语
公钥密码术
无线
相互认证
互联网
无人机
量子计算机
移动计算
认证(法律)
计算机安全
后量子密码学
通信协议
软件无线电
移动设备
无线安全
身份验证协议
对称密钥算法
无线网络
报文认证码
密钥管理
钥匙(锁)
弹性(材料科学)
作者
Basudeb Bera,Ashok Kumar Das,Biplab Sikdar
标识
DOI:10.1109/tmc.2025.3622654
摘要
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.
科研通智能强力驱动
Strongly Powered by AbleSci AI