可证明安全的高效车联网认证密钥协商协议 |
| |
引用本文: | 乔子芮,杨启良,周彦伟,杨波,顾纯祥,张明武,夏喆.可证明安全的高效车联网认证密钥协商协议[J].计算机学报,2023(5):929-944. |
| |
作者姓名: | 乔子芮 杨启良 周彦伟 杨波 顾纯祥 张明武 夏喆 |
| |
作者单位: | 1. 陕西师范大学计算机科学学院;2. 密码科学技术全国重点实验室;3. 上海计算机软件技术开发中心;4. 桂林电子科技大学广西密码学与信息安全重点实验室;5. 河南省网络密码技术重点实验室;6. 武汉理工大学计算机科学与技术学院 |
| |
基金项目: | 国家重点研发计划(2017YFB0802000);;国家自然科学基金(62272287,61802242,U2001205);;中央高校基本科研业务费专项资金资助~~; |
| |
摘 要: | 为进一步解决当前车联网认证密钥协商协议效率低下及车辆公私钥频繁更新的问题,研究者利用无证书密码体制能够解决身份基密码体制中密钥托管不足和传统公钥基础设施中证书复杂管理问题的优势,提出了安全高效的无证书车联网认证密钥协商协议.然而,本文分析发现现有的协议要么不具有轻量级的特征,要么无法满足其所声称的安全性.针对上述问题,本文提出安全性可证明的高效车联网认证密钥协商协议的新型构造,并基于判定性Diffie-Hellman和离散对数等复杂性假设对协商密钥的安全性和通信消息的不可伪造性进行了形式化证明.与现有的相关协议相比,本文协议不仅效率更高且安全性更优,同时具备证书和密钥的集中管理、双向认证等属性,上述优势使得该协议在车联网中具有更好的性能和适应性,因此我们的协议更适合在该网络中使用.
|
关 键 词: | 无证书公钥密码机制 认证密钥协商 车辆自组织网 分叉引理 |
|
|