An Efficient Authenticated Group Key Agreement Protocol for Dynamic UAV Fleets in Untrusted Environments

Anfal Ayad, Y. Hammal
{"title":"An Efficient Authenticated Group Key Agreement Protocol for Dynamic UAV Fleets in Untrusted Environments","authors":"Anfal Ayad, Y. Hammal","doi":"10.1109/icnas53565.2021.9628966","DOIUrl":null,"url":null,"abstract":"Unmanned aerial vehicle (UAV) fleets are the focus of various nations nowadays. Thus, it is expected to witness an explosion of reliability and safety critical UAV-based applications. Moreover, the recent surge of research on applied artificial intelligence and the industry advancement encourage the use of cooperative UAV fleets that offer potential collaborations even between UAVs from different organizations. The untrusted nature of the operation environments in addition to the high level of criticality of such applications require stringent secure protocols. There have been several security protocol proposals to ensure authentication, confidentiality and integrity, yet the overhead generated by these solutions and their impact on performance still severely hamper UAV endurance. In this paper, we propose to tackle the problem of secure communications within dynamic UAV fleets in open public networks using a pairing free Certificateless-Authenticated Group Key Agreement (CL-AGKA) scheme with constant rounds that meets efficiency and strong security. The formal security validation of the proposed protocol has been done by using Automated Validation of Internet Security Protocols and Applications tool (AVISPA). The aforementioned tool revealed that the proposed protocol is resilient against several attacks. More important, the computation cost has been significantly reduced thanks to the elimination of the expensive pairing operations and to the integration of the signature scheme into the key agreement to build one efficient algorithm.","PeriodicalId":321454,"journal":{"name":"2021 International Conference on Networking and Advanced Systems (ICNAS)","volume":"70 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2021 International Conference on Networking and Advanced Systems (ICNAS)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/icnas53565.2021.9628966","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

Abstract

Unmanned aerial vehicle (UAV) fleets are the focus of various nations nowadays. Thus, it is expected to witness an explosion of reliability and safety critical UAV-based applications. Moreover, the recent surge of research on applied artificial intelligence and the industry advancement encourage the use of cooperative UAV fleets that offer potential collaborations even between UAVs from different organizations. The untrusted nature of the operation environments in addition to the high level of criticality of such applications require stringent secure protocols. There have been several security protocol proposals to ensure authentication, confidentiality and integrity, yet the overhead generated by these solutions and their impact on performance still severely hamper UAV endurance. In this paper, we propose to tackle the problem of secure communications within dynamic UAV fleets in open public networks using a pairing free Certificateless-Authenticated Group Key Agreement (CL-AGKA) scheme with constant rounds that meets efficiency and strong security. The formal security validation of the proposed protocol has been done by using Automated Validation of Internet Security Protocols and Applications tool (AVISPA). The aforementioned tool revealed that the proposed protocol is resilient against several attacks. More important, the computation cost has been significantly reduced thanks to the elimination of the expensive pairing operations and to the integration of the signature scheme into the key agreement to build one efficient algorithm.
非可信环境下动态无人机机群的高效认证组密钥协商协议
无人驾驶飞行器(UAV)是当今世界各国关注的焦点。因此,预计将见证可靠性和安全性关键无人机应用的爆炸式增长。此外,最近应用人工智能研究的激增和行业进步鼓励使用合作无人机机队,甚至在不同组织的无人机之间提供潜在的合作。操作环境的不可信特性以及此类应用程序的高度关键性要求严格的安全协议。已经有几个安全协议提案来确保身份验证、机密性和完整性,但是这些解决方案产生的开销及其对性能的影响仍然严重阻碍了无人机的续航能力。在本文中,我们提出了一种无配对的无证书认证组密钥协议(CL-AGKA)方案来解决开放公共网络中动态无人机机群内的安全通信问题,该方案具有满足效率和强安全性的恒轮。使用互联网安全协议和应用程序自动验证工具(AVISPA)对所提出的协议进行了正式的安全验证。上述工具表明,提议的协议能够抵御多种攻击。更重要的是,由于消除了昂贵的配对操作,并将签名方案集成到密钥协议中,从而构建了一个高效的算法,大大降低了计算成本。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约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学术文献互助群
群 号:604180095
Book学术官方微信