基于CPN的车载网络无证书匿名认证和密钥协商方案研究

IR > 计算机与通信学院

	基于CPN的车载网络无证书匿名认证和密钥协商方案研究
	郑路 1; 冯涛1 ; 苏春华 2
	2024-06-25
发表期刊	通信学报
ISSN	1000-436X
卷号	45 期号:06 页码:101-116
摘要	为了解决现有车载网络的认证方案中普遍存在密钥托管带来的缺陷，以及没有考虑计算受限电子控制单元（ECU）轻量级部署和安全快速认证的问题，首先，针对计算不受限的ECU网络，提出了一种无双线性配对的轻量级无证书匿名认证和密钥协商方案，该方案通过椭圆曲线密码体制安全构建认证密钥对，通过哈希函数和异或等轻量级方法实现匿名认证和密钥协商。然后，针对计算受限的ECU网络，提出了一种无证书批量验证方案来降低认证成本。最后，提出了一种基于有色Petri网（CPN）和Dolev-Yao攻击者模型的安全验证方法，对整体方案进行形式化安全性评估。安全评估和性能分析表明，所提方案能有效抵抗重放、伪装、篡改、已知密钥、已知特定会话临时信息攻击等多种不同类型的攻击，在保证多重安全属性的同时有较小的计算与通信成本。
关键词	车载网络安全协议认证与密钥协商有色Petri网形式化验证
URL	查看原文
收录类别	北大核心 ; CSCD
语种	中文
资助项目	国家自然科学基金资助项目（No.62162039,No.61762060）;甘肃省重点研发基金资助项目（No.23YFGA0060）;甘肃省优秀博士生基金资助项目（No.23JRRA837）~~
中图分类号	TN918.4;U463.6
原始文献类型	学术期刊
引用统计
文献类型	期刊论文
条目标识符	https://ir.lut.edu.cn/handle/2XXMBERH/171301
专题	计算机与通信学院
通讯作者	冯涛
作者单位	1.兰州理工大学计算机与通信学院; 2.日本会津大学计算机科学系
第一作者单位	计算机与通信学院
通讯作者单位	计算机与通信学院
第一作者的第一单位	计算机与通信学院
推荐引用方式 GB/T 7714	郑路,冯涛,苏春华. 基于CPN的车载网络无证书匿名认证和密钥协商方案研究[J]. 通信学报,2024,45(06):101-116.
APA	郑路,冯涛,&苏春华.(2024).基于CPN的车载网络无证书匿名认证和密钥协商方案研究.通信学报,45(06),101-116.
MLA	郑路,et al."基于CPN的车载网络无证书匿名认证和密钥协商方案研究".通信学报 45.06(2024):101-116.