Security and privacy are among the most critical challenges on the internet of drones (IoD) network. The communication entities of the IoD network can communicate securely with the use of authenticated key agreement (AKA) based techniques. However, the design of such techniques must balance the tradeoff between security and lightweight features. Recently, Chen et al. proposed an authentication and key sharing scheme for IoD deployment. It is, however, realized after scrutiny that the proposed technique is vulnerable to security attacks under the well-accepted Canetti-Krawczyk (CK) adversary model. Moreover, the scheme applies to the IoD network with only one drones’ flying zone. To solve these challenges, this paper proposed a secure lightweight proven authenticated key agreement (SLPAKA) technique for IoD deployment. The technique is free from all the problems identified in the scheme of Chen et al . To ensure the reliability of the SLPAKA, the security of the technique has been assessed from a theoretical method and formal way using the ProVerif cryptographic protocol verification tool. Apart from comparing the performance of SLPAKA with the benchmarking schemes in terms of security, computational cost, and communication cost, the SLPAKA and the technique proposed by Chen et al. are implemented using a python programming language to evaluate and compare their performance in terms of energy consumption and computational time metrics. The results show that the SLPAKA outperforms the technique of Chen et al. and all the other benchmarking techniques in terms of security and lightweight features.

中文翻译：

---

用于无人机网络Internet上安全通信的边缘辅助安全轻型身份验证技术

安全和隐私是无人机（IoD）网络上最关键的挑战之一。IoD网络的通信实体可以使用基于身份验证的密钥协议（AKA）的技术进行安全通信。但是，此类技术的设计必须在安全性和轻量级功能之间进行权衡。最近陈等。提出了一种用于IoD部署的身份验证和密钥共享方案。但是，经过仔细研究，人们意识到，在公认的Canetti-Krawczyk（CK）对手模型下，所提出的技术很容易受到安全攻击。此外，该方案适用于只有一个无人机飞行区域的IoD网络。为了解决这些挑战，本文提出了一种用于IoD部署的安全轻量级经过验证的认证密钥协议（SLPAKA）技术。该技术没有Chen方案中发现的所有问题等 。为了确保SLPAKA的可靠性，已使用ProVerif密码协议验证工具从理论方法和正式方法评估了该技术的安全性。除了在安全性，计算成本和通信成本方面将SLPAKA的性能与基准测试方案进行比较外，SLPAKA和Chen提出的技术等。使用python编程语言来实现，以根据能耗和计算时间指标评估和比较它们的性能。结果表明，SLPAKA优于Chen的技术等。 以及所有其他基准测试技术，涉及安全性和轻量级功能。