LAAS-KM: Lightweight authentication with aggregate signature verification and key management protocol for VANETs

IF 3.9 3区 计算机科学 Q2 COMPUTER SCIENCE, INFORMATION SYSTEMS
Pervasive and Mobile Computing Pub Date : 2026-05-01 Epub Date: 2026-02-09 DOI:10.1016/j.pmcj.2026.102183
A. Anshima , Jegadeesan Subramani , Arun Sekar Rajasekaran
{"title":"LAAS-KM: Lightweight authentication with aggregate signature verification and key management protocol for VANETs","authors":"A. Anshima ,&nbsp;Jegadeesan Subramani ,&nbsp;Arun Sekar Rajasekaran","doi":"10.1016/j.pmcj.2026.102183","DOIUrl":null,"url":null,"abstract":"<div><div>Vehicular Ad Hoc Networks (VANETs) are a significant component of upcoming intelligent transportation systems. VANETs improve road safety by sending danger alerts to drivers; therefore, their messages must be secure and unaltered. Digital signatures are used to verify the integrity and authenticity of transmitted messages; however, existing digital signature-based schemes require a high computational time owing to the repeated use of mathematical operations. To address this issue, a novel signature aggregation and key management (LAAS-KM) scheme is proposed in this paper to reduce the computational cost without compromising security. First, the LAAS-KM allows roadside infrastructure to cluster multiple vehicle signatures into a compact signature to reduce the large computational overhead during the verification process. Moreover, LAAS-KM supports group communication with novel key management to update keys as vehicles move and network topologies change dynamically in VANETs. Moreover, the security analysis section indicates that the LAAS-KM can prevent various security attacks, including impersonation and replay attacks. Furthermore, a formal security analysis is performed using the Scyther tool to validate the critical security properties of LAAS-KM. Performance evaluations show that LAAS-KM outperforms traditional schemes in terms of communication and computation overheads. Finally, a practical simulation is performed using MATLAB, and the performance metrics are analyzed.</div></div>","PeriodicalId":49005,"journal":{"name":"Pervasive and Mobile Computing","volume":"118 ","pages":"Article 102183"},"PeriodicalIF":3.9000,"publicationDate":"2026-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Pervasive and Mobile Computing","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S1574119226000246","RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2026/2/9 0:00:00","PubModel":"Epub","JCR":"Q2","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
引用次数: 0

Abstract

Vehicular Ad Hoc Networks (VANETs) are a significant component of upcoming intelligent transportation systems. VANETs improve road safety by sending danger alerts to drivers; therefore, their messages must be secure and unaltered. Digital signatures are used to verify the integrity and authenticity of transmitted messages; however, existing digital signature-based schemes require a high computational time owing to the repeated use of mathematical operations. To address this issue, a novel signature aggregation and key management (LAAS-KM) scheme is proposed in this paper to reduce the computational cost without compromising security. First, the LAAS-KM allows roadside infrastructure to cluster multiple vehicle signatures into a compact signature to reduce the large computational overhead during the verification process. Moreover, LAAS-KM supports group communication with novel key management to update keys as vehicles move and network topologies change dynamically in VANETs. Moreover, the security analysis section indicates that the LAAS-KM can prevent various security attacks, including impersonation and replay attacks. Furthermore, a formal security analysis is performed using the Scyther tool to validate the critical security properties of LAAS-KM. Performance evaluations show that LAAS-KM outperforms traditional schemes in terms of communication and computation overheads. Finally, a practical simulation is performed using MATLAB, and the performance metrics are analyzed.
LAAS-KM:用于VANETs的具有聚合签名验证和密钥管理协议的轻量级身份验证
车辆自组织网络(vanet)是未来智能交通系统的重要组成部分。VANETs通过向驾驶员发送危险警报来改善道路安全;因此,他们的消息必须是安全且未被更改的。数字签名用于验证传输消息的完整性和真实性;然而,现有的基于数字签名的方案由于重复使用数学运算,需要大量的计算时间。为了解决这一问题,本文提出了一种新的签名聚合和密钥管理(LAAS-KM)方案,在不影响安全性的前提下降低了计算成本。首先,LAAS-KM允许路边基础设施将多个车辆签名聚类为一个紧凑的签名,以减少验证过程中的大量计算开销。此外,LAAS-KM支持群组通信,采用新颖的密钥管理,在vanet中随着车辆移动和网络拓扑动态变化而更新密钥。此外,安全分析部分指出,LAAS-KM可以防止各种安全攻击,包括模拟攻击和重放攻击。此外,使用Scyther工具执行了正式的安全性分析,以验证LAAS-KM的关键安全属性。性能评估表明,LAAS-KM在通信和计算开销方面优于传统方案。最后,利用MATLAB进行了实际仿真,并对性能指标进行了分析。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
Pervasive and Mobile Computing
Pervasive and Mobile Computing COMPUTER SCIENCE, INFORMATION SYSTEMS-TELECOMMUNICATIONS
CiteScore
7.70
自引率
2.30%
发文量
80
审稿时长
68 days
期刊介绍: As envisioned by Mark Weiser as early as 1991, pervasive computing systems and services have truly become integral parts of our daily lives. Tremendous developments in a multitude of technologies ranging from personalized and embedded smart devices (e.g., smartphones, sensors, wearables, IoTs, etc.) to ubiquitous connectivity, via a variety of wireless mobile communications and cognitive networking infrastructures, to advanced computing techniques (including edge, fog and cloud) and user-friendly middleware services and platforms have significantly contributed to the unprecedented advances in pervasive and mobile computing. Cutting-edge applications and paradigms have evolved, such as cyber-physical systems and smart environments (e.g., smart city, smart energy, smart transportation, smart healthcare, etc.) that also involve human in the loop through social interactions and participatory and/or mobile crowd sensing, for example. The goal of pervasive computing systems is to improve human experience and quality of life, without explicit awareness of the underlying communications and computing technologies. The Pervasive and Mobile Computing Journal (PMC) is a high-impact, peer-reviewed technical journal that publishes high-quality scientific articles spanning theory and practice, and covering all aspects of pervasive and mobile computing and systems.
×
引用
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学术官方微信
小红书