RSAKA-VDT:设计可靠且可证明安全的车载数字孪生网络认证密钥协议方案

IF 7.1 2区 计算机科学 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC
Kai Wang;Jiankuo Dong;Shiqin Wang;Zhijian Yuan;Letian Sha;Fu Xiao
{"title":"RSAKA-VDT:设计可靠且可证明安全的车载数字孪生网络认证密钥协议方案","authors":"Kai Wang;Jiankuo Dong;Shiqin Wang;Zhijian Yuan;Letian Sha;Fu Xiao","doi":"10.1109/TVT.2025.3552481","DOIUrl":null,"url":null,"abstract":"The vehicular digital twin (VDT) networks are an emerging network paradigm that are facilitating connected and autonomous vehicles. However, autonomous vehicles transmit real-time sensing privacy data to their corresponding digital twin representations through public communication channels within VDT intra-twin communication, thus exposing this communication to various threats of attack and potential data tampering. On this basis, a reliable and efficient data transmission scheme is urgently needed to ensure secure fine-grained data access control. In this context, this article introduced a new authenticated key agreement scheme, termed RSAKA-VDT, to authenticate user identity and enable confidential service data access. In particular, only vehicle users with proper access permissions are allowed to calculate the shared session key. The associated VDTs are deployed on the network edge in the suggested RSAKA-VDT. Identity authentication and session key negotiation are carried out between an autonomous vehicle user and the affiliated edge server. Subsequently, the generated session key encrypts real-time privacy data, ensuring secure data exchange for VDT intra-twin communication. Furthermore, we validated the security features of RSAKA-VDT using the random oracle model, heuristic security analysis, and the “automated validation of Internet security protocols and applications” (AVISPA) software tool. Finally, we conducted a comparative analysis of RSAKA-VDT against six closely related user authentication schemes, evaluating security functionality attributes, computational costs, and communication overheads. Comparative performance results show that RSAKA-VDT meets all 18 security evaluation criteria while maintaining a better balance between practical usability and requirements for security functionality.","PeriodicalId":13421,"journal":{"name":"IEEE Transactions on Vehicular Technology","volume":"74 8","pages":"12330-12346"},"PeriodicalIF":7.1000,"publicationDate":"2025-03-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"RSAKA-VDT: Designing Reliable and Provably Secure Authenticated Key Agreement Scheme for Vehicular Digital Twin Networks\",\"authors\":\"Kai Wang;Jiankuo Dong;Shiqin Wang;Zhijian Yuan;Letian Sha;Fu Xiao\",\"doi\":\"10.1109/TVT.2025.3552481\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The vehicular digital twin (VDT) networks are an emerging network paradigm that are facilitating connected and autonomous vehicles. However, autonomous vehicles transmit real-time sensing privacy data to their corresponding digital twin representations through public communication channels within VDT intra-twin communication, thus exposing this communication to various threats of attack and potential data tampering. On this basis, a reliable and efficient data transmission scheme is urgently needed to ensure secure fine-grained data access control. In this context, this article introduced a new authenticated key agreement scheme, termed RSAKA-VDT, to authenticate user identity and enable confidential service data access. In particular, only vehicle users with proper access permissions are allowed to calculate the shared session key. The associated VDTs are deployed on the network edge in the suggested RSAKA-VDT. Identity authentication and session key negotiation are carried out between an autonomous vehicle user and the affiliated edge server. Subsequently, the generated session key encrypts real-time privacy data, ensuring secure data exchange for VDT intra-twin communication. Furthermore, we validated the security features of RSAKA-VDT using the random oracle model, heuristic security analysis, and the “automated validation of Internet security protocols and applications” (AVISPA) software tool. Finally, we conducted a comparative analysis of RSAKA-VDT against six closely related user authentication schemes, evaluating security functionality attributes, computational costs, and communication overheads. Comparative performance results show that RSAKA-VDT meets all 18 security evaluation criteria while maintaining a better balance between practical usability and requirements for security functionality.\",\"PeriodicalId\":13421,\"journal\":{\"name\":\"IEEE Transactions on Vehicular Technology\",\"volume\":\"74 8\",\"pages\":\"12330-12346\"},\"PeriodicalIF\":7.1000,\"publicationDate\":\"2025-03-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE Transactions on Vehicular Technology\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://ieeexplore.ieee.org/document/10930839/\",\"RegionNum\":2,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"ENGINEERING, ELECTRICAL & ELECTRONIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Transactions on Vehicular Technology","FirstCategoryId":"94","ListUrlMain":"https://ieeexplore.ieee.org/document/10930839/","RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"ENGINEERING, ELECTRICAL & ELECTRONIC","Score":null,"Total":0}
引用次数: 0

摘要

车辆数字孪生(VDT)网络是一种新兴的网络范式,可促进联网和自动驾驶汽车的发展。然而,自动驾驶汽车通过VDT双子星通信中的公共通信通道将实时传感隐私数据传输到相应的数字双子星表示,从而使这种通信暴露于各种攻击威胁和潜在的数据篡改。在此基础上,迫切需要一种可靠、高效的数据传输方案来保证安全的细粒度数据访问控制。在此上下文中,本文介绍了一种新的经过身份验证的密钥协议方案,称为RSAKA-VDT,用于验证用户身份并启用机密服务数据访问。特别是,只允许具有适当访问权限的车辆用户计算共享会话密钥。在建议的RSAKA-VDT中,关联的vdt部署在网络边缘。身份验证和会话密钥协商在自动驾驶车辆用户和附属边缘服务器之间进行。随后,生成的会话密钥对实时隐私数据进行加密,确保VDT双机内通信的数据交换安全。此外,我们使用随机oracle模型、启发式安全分析和“互联网安全协议和应用程序自动验证”(AVISPA)软件工具验证了RSAKA-VDT的安全特性。最后,我们对RSAKA-VDT与六种密切相关的用户身份验证方案进行了比较分析,评估了安全功能属性、计算成本和通信开销。比较性能结果表明,RSAKA-VDT满足所有18个安全评估标准,同时在实际可用性和安全功能需求之间保持了更好的平衡。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
RSAKA-VDT: Designing Reliable and Provably Secure Authenticated Key Agreement Scheme for Vehicular Digital Twin Networks
The vehicular digital twin (VDT) networks are an emerging network paradigm that are facilitating connected and autonomous vehicles. However, autonomous vehicles transmit real-time sensing privacy data to their corresponding digital twin representations through public communication channels within VDT intra-twin communication, thus exposing this communication to various threats of attack and potential data tampering. On this basis, a reliable and efficient data transmission scheme is urgently needed to ensure secure fine-grained data access control. In this context, this article introduced a new authenticated key agreement scheme, termed RSAKA-VDT, to authenticate user identity and enable confidential service data access. In particular, only vehicle users with proper access permissions are allowed to calculate the shared session key. The associated VDTs are deployed on the network edge in the suggested RSAKA-VDT. Identity authentication and session key negotiation are carried out between an autonomous vehicle user and the affiliated edge server. Subsequently, the generated session key encrypts real-time privacy data, ensuring secure data exchange for VDT intra-twin communication. Furthermore, we validated the security features of RSAKA-VDT using the random oracle model, heuristic security analysis, and the “automated validation of Internet security protocols and applications” (AVISPA) software tool. Finally, we conducted a comparative analysis of RSAKA-VDT against six closely related user authentication schemes, evaluating security functionality attributes, computational costs, and communication overheads. Comparative performance results show that RSAKA-VDT meets all 18 security evaluation criteria while maintaining a better balance between practical usability and requirements for security functionality.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
CiteScore
6.00
自引率
8.80%
发文量
1245
审稿时长
6.3 months
期刊介绍: The scope of the Transactions is threefold (which was approved by the IEEE Periodicals Committee in 1967) and is published on the journal website as follows: Communications: The use of mobile radio on land, sea, and air, including cellular radio, two-way radio, and one-way radio, with applications to dispatch and control vehicles, mobile radiotelephone, radio paging, and status monitoring and reporting. Related areas include spectrum usage, component radio equipment such as cavities and antennas, compute control for radio systems, digital modulation and transmission techniques, mobile radio circuit design, radio propagation for vehicular communications, effects of ignition noise and radio frequency interference, and consideration of the vehicle as part of the radio operating environment. Transportation Systems: The use of electronic technology for the control of ground transportation systems including, but not limited to, traffic aid systems; traffic control systems; automatic vehicle identification, location, and monitoring systems; automated transport systems, with single and multiple vehicle control; and moving walkways or people-movers. Vehicular Electronics: The use of electronic or electrical components and systems for control, propulsion, or auxiliary functions, including but not limited to, electronic controls for engineer, drive train, convenience, safety, and other vehicle systems; sensors, actuators, and microprocessors for onboard use; electronic fuel control systems; vehicle electrical components and systems collision avoidance systems; electromagnetic compatibility in the vehicle environment; and electric vehicles and controls.
×
引用
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学术官方微信