检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:许盛伟 刘家兴 刘润生 Xu Shengwei;LIU Jiaxing;LIU Runsheng(Beijing Electronic Science and Technology Institute,Beijing 100070,P.R.China)
机构地区:[1]北京电子科技学院网络空间安全系,北京100070
出 处:《北京电子科技学院学报》2024年第2期23-33,共11页Journal of Beijing Electronic Science And Technology Institute
基 金:国家重点研发计划资助(项目编号:2022YFB3104402);中央高校基本科研业务费专项资金资助(批准号:328202227);中央高校基本科研业务费专项资金资助(批准号:3282023007)。
摘 要:车载自组织网络在物联网具有重要意义。然而,犯罪分子利用公开渠道窃听、篡改消息来锁定和控制车辆,这会导致车祸、隐私泄露等安全问题。为此,本文开发了基于SM2公钥密码算法的无证书轻量级身份认证方案Light⁃V2X,结合ECDH密钥协商和假名认证技术,在多辆车同时进入特定区域时进行批量处理,从而提高通信效率。通过非形式化安全分析、ROR模型下形式化安全性证明、使用AVISPA工具仿真实验,以及与其他方案的性能横向对比,结果表明本方案具有优越的性能表现,有效降低开销成本。Vehicular Ad hoc Networks(VANETs)are essential for the Internet of Things.However,criminals exploit public channels to eavesdrop on and manipulate messages,potentially gaining control over vehicles and leading to security threats such as accidents and privacy breaches.To address the is⁃sues,in this paper a certificate⁃less lightweight identity authentication scheme named Light⁃V2X is de⁃veloped based on the SM2 public cryptographic algorithm,where ECDH key negotiation and pseudonym authentication technologies are integrated to streamline multi⁃party authentication in specific areas to en⁃hance the communication efficiency.Informal security analysis,formal security demonstrations in the ROR model,simulation experiments employing the AVISPA tool and horizontal performance compari⁃sons with alternative solutions indicate that our scheme has high performance and low cost.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.139.83.202