车载自组网中可证明安全的无证书批认证方案  

Provable security certificateless authentication scheme with batch verification for vehicular Ad hoc network

作　　者：曾萍[1] 郭瑞芳 赵耿[1] 马英杰[1] 高原 Zeng Ping;Guo Ruifang;Zhao Geng;Ma Yingjie;Gao Yuan(Beijing Electronic Science&Technology Institute,Beijing 100070,China;School of Telecommunication Engineering,Xidian University,Xi’an 710071,China;Post Doctoral Research Center,State Information Center,Beijing 100045,China)

机构地区：[1]北京电子科技学院,北京100070 [2]西安电子科技大学通信工程学院,西安710071 [3]国家信息中心博士后科研工作站,北京100045

出　　处：《计算机应用研究》2021年第2期572-578,共7页Application Research of Computers

基　　金：国家自然科学基金面上项目(61772047)。

摘　　要：车载自组网(VANET)可以有效提高交通安全,但在其大量部署前必须解决安全和隐私问题。为此,提出一个VANET中有效的无证书批认证方案来解决传统基于身份的认证方案中存在的密钥托管问题。系统主密钥不预先装载到车辆的防窜改设备中,减少方案的安全性对防窜改设备的依赖;不采用计算量大的双线性对来减少计算开销;利用批认证算法提高认证效率。安全性分析表明,提出的方案在随机预言模型中是可证明安全的;与以往的方案相比,该方案在计算成本和通信成本方面具有较低的开销,适用于实际的VANET环境。Vehicular Ad hoc network(VANET)can significantly improve traffic safety,but security and privacy issues must be addressed before their deployment.This paper proposed an efficient certificateless authentication scheme with batch verification for VANET,which was free from the key escrow problem existing in the ID-based authentication schemes.The bilinear pairing was one of the most time-consuming operation in modern cryptography,which didn’t involve in the proposed scheme to decrease the computational overhead.The system private key didn’t preloaded in the tamper-proof devices(TPD),which reduced the depen-dence of the security on the TPD.This paper adopted batch authentication algorithm to improve the authentication efficiency.The proposed scheme is provable security in the random oracle model.Moreover,the proposed scheme yields a better performance in terms of computation cost and communication cost,making it more suitable for deployment in the VANET environment.

关 键 词：车载自组网 身份认证 批认证 可证明安全 无证书 

分 类 号：TP309.2[自动化与计算机技术—计算机系统结构]