Protecting UAV-Networks: A Secure Lightweight Authentication and Key Agreement Scheme

Hulya Dogan
{"title":"Protecting UAV-Networks: A Secure Lightweight Authentication and Key Agreement Scheme","authors":"Hulya Dogan","doi":"10.1109/CSP58884.2023.00010","DOIUrl":null,"url":null,"abstract":"Flexible and convenient unmanned aerial vehicles (UAVs), efficient low-altitude alternatives with complex connectivity, serve exciting applications by expanding the versatility of traditional networks and the integration capacity between air and ground nodes. UAVs network trust secure communication to perform the role objectives, enable and coordinate dispatches. However, more efforts are needed toward security by protecting every entity against malicious attacks in the network. One open challenge in the UAV network lies in keeping bad actors out of the network and enabling security features for highly heterogeneous and resource-hungry devices (sensors, nodes, actuators). To handle that, we design a new practical security scheme to authenticate the legitimacy of peer device connectivity that is lightweight and secure for UAVs network. The proposed protocol provides mutual authentication between UAV and base station devices. We present a formal security verification using the ProVerif tool as well as old-fashioned cryptanalysis to show that the scheme facilitates various security credentials, such as confidentiality, data integrity, identity privacy, etc., and is resilient against well-known security attacks that impersonation, replay, and forwarding security attacks. We also compare our protocol's performance evaluation (of test-bed) results with state-of-the-art authentication protocols for UAVs based on computation costs.","PeriodicalId":255083,"journal":{"name":"2023 7th International Conference on Cryptography, Security and Privacy (CSP)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2023-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2023 7th International Conference on Cryptography, Security and Privacy (CSP)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CSP58884.2023.00010","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

Flexible and convenient unmanned aerial vehicles (UAVs), efficient low-altitude alternatives with complex connectivity, serve exciting applications by expanding the versatility of traditional networks and the integration capacity between air and ground nodes. UAVs network trust secure communication to perform the role objectives, enable and coordinate dispatches. However, more efforts are needed toward security by protecting every entity against malicious attacks in the network. One open challenge in the UAV network lies in keeping bad actors out of the network and enabling security features for highly heterogeneous and resource-hungry devices (sensors, nodes, actuators). To handle that, we design a new practical security scheme to authenticate the legitimacy of peer device connectivity that is lightweight and secure for UAVs network. The proposed protocol provides mutual authentication between UAV and base station devices. We present a formal security verification using the ProVerif tool as well as old-fashioned cryptanalysis to show that the scheme facilitates various security credentials, such as confidentiality, data integrity, identity privacy, etc., and is resilient against well-known security attacks that impersonation, replay, and forwarding security attacks. We also compare our protocol's performance evaluation (of test-bed) results with state-of-the-art authentication protocols for UAVs based on computation costs.
保护无人机网络:一个安全的轻量级认证和密钥协议方案
灵活方便的无人机(uav),具有复杂连接的高效低空替代品,通过扩展传统网络的多功能性和空中和地面节点之间的集成能力,服务于令人兴奋的应用。无人机网络信任安全通信来执行角色目标,启用和协调调度。然而,需要更多的努力来保护网络中的每个实体免受恶意攻击。无人机网络的一个公开挑战在于将不良行为者排除在网络之外,并为高度异构和资源密集型设备(传感器、节点、执行器)启用安全功能。为了解决这个问题,我们设计了一种新的实用的安全方案来验证对端设备连接的合法性,该方案轻量级且安全,适用于无人机网络。该协议提供了无人机与基站设备之间的相互认证。我们使用ProVerif工具和老式的密码分析提出了正式的安全验证,以表明该方案促进了各种安全凭证,例如机密性,数据完整性,身份隐私等,并且能够抵御众所周知的安全攻击,如冒充,重播和转发安全攻击。我们还比较了我们的协议的性能评估(试验台)结果与基于计算成本的最先进的无人机认证协议。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信