{"title":"A Secure Pairing-Free Certificateless Online/Offline Signcryption Scheme With Batch Verification for Edge Computing-Based VANETs","authors":"Wenjie Yang;Peiwei Cao;Futai Zhang","doi":"10.1109/TVT.2024.3457749","DOIUrl":null,"url":null,"abstract":"In modern transportation systems, vehicular ad hoc networks (VANETs) provide a solid foundation for improving public transportation. To efficiently realize real-time and secure vehicle communication systems, many certificateless signcryption (CLSC) schemes are proposed in VANETs. However, existing relevant CLSC schemes still have security or efficiency drawbacks. In this paper, we first cryptanalyze Xie et al.’s CLSC scheme (<italic>IEEE Trans. Veh. Technol.</i>, vol. 72, no. 5, pp. 5642-5653, May. 2023) and demonstrate its vulnerability under public key replacement attacks. Then, we propose a pairing-free CLSC scheme for edge computing-based VANETs, with its security proven in the random oracle model. Our CLSC scheme not only achieves confidentiality and unforgeability in a single logical step, but also avoids costly certificate management and key escrow problems. Meanwhile, our construction leverages online/offline signature (OOS) and batch verification techniques, which significantly reduces communication time-delay and computational overhead. Moreover, our deployment resists multiple prevalent attacks in VANETs, including but not limited to collusion attacks and man-in-the-middle attacks, and provides pseudonym-based conditional privacy for vehicles. Finally, performance results show that our CLSC scheme outperforms existing ones, making it highly practical for VANETs.","PeriodicalId":13421,"journal":{"name":"IEEE Transactions on Vehicular Technology","volume":"74 1","pages":"1570-1583"},"PeriodicalIF":7.1000,"publicationDate":"2024-09-11","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/10678759/","RegionNum":2,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"ENGINEERING, ELECTRICAL & ELECTRONIC","Score":null,"Total":0}
引用次数: 0
Abstract
In modern transportation systems, vehicular ad hoc networks (VANETs) provide a solid foundation for improving public transportation. To efficiently realize real-time and secure vehicle communication systems, many certificateless signcryption (CLSC) schemes are proposed in VANETs. However, existing relevant CLSC schemes still have security or efficiency drawbacks. In this paper, we first cryptanalyze Xie et al.’s CLSC scheme (IEEE Trans. Veh. Technol., vol. 72, no. 5, pp. 5642-5653, May. 2023) and demonstrate its vulnerability under public key replacement attacks. Then, we propose a pairing-free CLSC scheme for edge computing-based VANETs, with its security proven in the random oracle model. Our CLSC scheme not only achieves confidentiality and unforgeability in a single logical step, but also avoids costly certificate management and key escrow problems. Meanwhile, our construction leverages online/offline signature (OOS) and batch verification techniques, which significantly reduces communication time-delay and computational overhead. Moreover, our deployment resists multiple prevalent attacks in VANETs, including but not limited to collusion attacks and man-in-the-middle attacks, and provides pseudonym-based conditional privacy for vehicles. Finally, performance results show that our CLSC scheme outperforms existing ones, making it highly practical for VANETs.
在现代交通系统中,车辆自组织网络(VANETs)为改善公共交通提供了坚实的基础。为了有效地实现车载通信系统的实时性和安全性,在vanet中提出了许多无证书签名加密(CLSC)方案。然而,现有的相关CLSC方案在安全性或效率方面仍存在不足。本文首先对Xie等人的CLSC方案进行了密码分析。阿明费。抛光工艺。,第72卷,第72号。5, pp. 5642-5653, 2023年5月),并证明其在公钥替换攻击下的脆弱性。然后,我们提出了一种基于边缘计算的无配对CLSC方案,并在随机oracle模型中证明了其安全性。我们的CLSC方案不仅在一个逻辑步骤中实现了保密性和不可伪造性,而且避免了昂贵的证书管理和密钥托管问题。同时,我们的构建利用了在线/离线签名(OOS)和批处理验证技术,这大大减少了通信延迟和计算开销。此外,我们的部署可以抵御vanet中多种常见的攻击,包括但不限于共谋攻击和中间人攻击,并为车辆提供基于假名的条件隐私。最后,性能结果表明,我们的CLSC方案优于现有的方案,使其在vanet中具有很高的实用性。
期刊介绍:
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.