The accelerating deployment of Unmanned Aerial Vehicles (UAVs) is accompanied by escalating security concerns, especially with regard to communication protocols. Traditional cryptographic mechanisms, while functional, fall short in computational efficiency and low-latency requirements that are critical for UAV networks. Addressing these challenges, this paper introduces a novel hardware-secured authentication and attestation mechanism tailored for UAV-to-UAV data exchange. The mechanism is designed to scale efficiently with UAV swarms and withstand rigorous post-deployment verifications. Our research contributions are multi-faceted, comprising: 1) a feasibility and security validation of the proposed protocol via Mao-Boyd logic, providing a robust theoretical foundation, 2) empirical results that confirm the protocol’s superior performance over contemporary solutions in both speed and security, and 3) a comprehensive security and performance analysis to ensure the protocol’s resilience against potential vulnerabilities. Thus, the paper presents a balanced and effective approach to secure UAV communications, satisfying both computational and security demands.

中文翻译：

---

安全高效的点对点身份验证 - 无人机网络证明协议


无人机（UAV）的加速部署伴随着不断升级的安全问题，特别是在通信协议方面。传统的加密机制虽然有效，但在计算效率和低延迟要求方面存在不足，而这对于无人机网络至关重要。为了解决这些挑战，本文介绍了一种专为无人机到无人机数据交换而定制的新颖的硬件安全身份验证和证明机制。该机制旨在通过无人机群有效扩展并承受严格的部署后验证。我们的研究贡献是多方面的，包括：1）通过 Mao-Boyd 逻辑对所提出的协议进行可行性和安全性验证，提供坚实的理论基础；2）实证结果证实该协议在速度和性能方面优于当代解决方案。安全性；3) 全面的安全性和性能分析，以确保协议能够抵御潜在漏洞。因此，本文提出了一种平衡且有效的安全无人机通信方法，满足计算和安全需求。