计算机科学
无人机
计算机安全
钥匙(锁)
认证(法律)
物联网
协议(科学)
身份验证协议
密钥协议
互联网
计算机网络
互联网隐私
公钥密码术
万维网
密钥分发
加密
医学
遗传学
生物
病理
替代医学
作者
Shengcai Zhang,Z. Y. Xu,Xiang Gong
摘要
ABSTRACT With the introduction of the concept of smart cities and the widespread application of drones in areas such as traffic monitoring, air quality monitoring, and emergency medical response, the rapid development and emergence of the Internet of Drones (IoD) have been driven forward. Drones, as a critical component of IoD, leverage their advantage in airspace coverage and real‐time dynamic response capabilities. Through the IoD framework, they enable multi‐drone collaboration and real‐time data sharing, making them an essential part of smart cities. However, drones, as resource‐constrained devices, are unable to perform overly complex computations or utilize public‐key cryptographic techniques. Therefore, we have designed a lightweight authentication and key agreement scheme based on Physical Unclonable Function (PUF) for the smart city environment. By completing the user registration phase over a public channel, it is better suited for the actual deployment of IoD in smart cities. Using the Real‐or‐Random (RoR) model and the widely recognized formal analysis tool ProVerif, we conducted a formal analysis of the proposed scheme, ensuring its security. We also evaluated the computational cost and communication overhead of the designed scheme. The results show that the proposed scheme is better suited for IoD‐based smart city environments, offering lower computational costs, reduced communication overhead, and improved security.
科研通智能强力驱动
Strongly Powered by AbleSci AI