Cryptanalysis and Design of Anonymous Authentication Protocol for Value-Added Services in Internet of Vehicles
-
摘要: 车联网是智慧城市的重要组成部分，它能够提供道路安全、交通管理、自动驾驶和互联网内容分发服务.其中，内容分发服务是针对车辆或其驾乘人员的互联网增值服务，它面临着比传统互联网服务更严苛的安全挑战.面向车联网增值服务的密钥协商协议能够为其安全通信初始化会话密钥，但已有的多服务器协议大多存在匿名性和前向安全性脆弱的缺点.最近，Vasudev等人使用Hash函数设计了一种面向车联网增值服务的轻量级认证协议.密码分析显示该协议除了匿名性和前向安全性脆弱之外还存在因智能卡丢失导致系统主密钥泄露的致命缺陷.为了弥补这些不足，使用椭圆曲线密码和Hash函数设计了一种适用于车联网增值服务的认证密钥协商协议.安全分析显示，该提案能够满足随机预言模型下的认证密钥协商安全性，具有强匿名性和前向安全性，并且能够抵抗已知的互联网攻击.性能分析显示，所提协议安全性能优于同类协议、用户侧的通信开销至少降低了34%.Abstract: The Internet of vehicles (IoV) is an important part of a smart city. It can provide road safety, traffic management, autonomous driving, and Internet content distribution services. Among them, the content distribution service is an Internet value-added service for vehicles or their occupants. It faces more stringent security challenges than traditional Internet services. The key agreement protocol for the Internet of vehicles value-added service can initialize the session key for its secure communication, but most of the existing multi-server protocols have the shortcomings of anonymity and forward security. Recently, Vasudev et al. proposed a lightweight authentication protocol for value-added services in IoV using Hash functions. Cryptanalysis shows that in addition to the vulnerability of anonymity and forward security, the protocol also has fatal flaws such as the loss of the master key of the system due to the loss of the smart card. In order to overcome these flaws, elliptic curve cryptography (ECC) and Hash function are used to design an authenticated key agreement protocol suitable for the value-added services in IoV. Security analysis shows that the proposal can satisfy the authenticated key agreement security in the random oracle model, has strong anonymity and forward security, and can resist known Internet attacks. Performance analysis shows that the security of the proposed protocol is better than similar protocols, and the communication overhead on the user side is reduced by at least 34%.
-
Keywords:
- Internet of vehicles (IoV) /
- authentication /
- key agreement /
- content distribution /
- ECC
-
处理器芯片是信息系统的控制和算力根基. 当前海量应用的不断演进对处理器性能和能效产生了指数级提升的追求，处理器芯片的设计规模和复杂度变得越来越大，设计难度越来越高，现有的层层分解的处理器设计流程已经难以实现全局能效最优. 发展处理器芯片跨层优化设计方法与关键技术，对于提升处理器芯片设计的性能和自动化程度，解决芯片设计门槛高、周期长等难题具有重大的意义.
为进一步推动我国学者在处理器芯片跨层优化领域的研究，及时报道我国学者的相关最新研究成果，我们组织了本期“处理器芯片跨层优化”专题，旨在聚焦促进处理器芯片跨层优化的方法理论、设计与验证关键技术、典型处理器芯片设计应用案例等创新性研究. 本专题2024年1月底征稿结束，经过七十余人次专家的两轮评审，最终收录了8 篇论文，内容涵盖了基于人工智能辅助的处理器设计平台、异构计算平台的跨层优化、处理器跨层设计的新方法和国密算法跨层加速等方面的最新研究进展，希望能够为同行学者带来帮助和启发.
为探索人工智能方法在处理器芯片设计空间探索和加速器跨层优化设计中的应用，翟建旺等人的论文“机器学习辅助微架构功耗建模和设计空间探索综述”， 首先介绍了处理器的主要设计流程、微架构设计及其面临的挑战，然后引入机器学习辅助集成电路设计，重点阐述了使用机器学习技术辅助微架构功耗建模和设计空间探索的研究进展；张青等人的论文“容错深度学习加速器跨层优化”，从神经元计算任务和神经元的数据位宽2个维度挖掘深度学习模型对于故障的敏感度差异，利用这些差异从架构和电路层分别对于敏感的部分提供更多的保护以降低容错代价，同时利用贝叶斯优化协同优化算法、架构和电路的跨层设计参数，在保障深度学习可靠性、精度以及性能的前提下，最小化硬件资源开销.
人工智能大模型应用的爆发式增长，使得难以依靠单一节点、单一类型的算力实现应用的规模部署，分布式异构计算成为主流选择. 李仁刚等人的论文“Direct xPU：一种新型节点间通信优化的分布式异构计算架构”探讨了所实现的Direct xPU 分布式异构计算架构，使得异构计算引擎在算力要素和通信要素2方面均具有独立的、专属的设备，实现了数据的零拷贝，并进一步消除了节点间通信过程中处理跨芯片传输数据所带来的能耗和延迟；张园等人的论文“面向多核CPU与GPU平台的图处理系统关键技术综述”，介绍了通用CPU与GPU架构的并行结构、访存结构、互连结构及同步机制的不断发展，使得多核CPU与GPU成为图处理加速的常用平台，详细解读了多核CPU与GPU平台上图处理优化相关技术的演化.
处理器的高性能和敏捷设计越来越依赖于跨层的设计方法优化，何小威等人的论文“高性能自研处理器物理设计频率提升方法”，针对国防科大自主研制的处理器核，基于业内主流的商用工具采取多种措施进行了针对性的实验和优化，包括规整部件网表的手工定制、逻辑和物理设计协同优化、布线规则定制优化、针对时序的物理设计流程与方法学优化等，大幅度提升了处理器核的签核频率；张子卿等人的论文“面向处理器功能验证的硬件化SystemVerilog 断言设计”，针对功能验证在处理器芯片开发流程中有效性与高效性的问题，提出一种将不可综合的断言语言自动转换成逻辑等效但可综合的寄存器传输级电路的方法，实验表明，所提方法和软件仿真相比能取得超过2万倍的验证效率提升.
密码技术是现代信息安全技术产业发展的核心，对硬件加密效率的需求也随之提高，从算法到硬件加速涉及跨层的分析和实现. 郝泽钰等人的论文“国密SM4算法CBC模式的高效设计与实现”，针对国密SM4算法在CBC（cipher block chaining）模式下，由于相邻数据依赖关系导致的流水线技术难以提高硬件设计吞吐率的问题，提出了2种逻辑化简方法，在CBC 模式下获得优化的高吞吐率；芮志清等人的论文“SeChain: 基于国密算法的RISC-V 安全启动机制设计与实现”，为提高开源RISC-V处理器的安全性，设计并实现基于国密SM9 算法的RISC-V 安全启动机制——SeChain，实现了信任根的不可篡改和安全可信，构造了一个可信的安全启动链，基于国密SM9 算法为设备的安全启动和可信执行提供可靠保障.
后摩尔时代处理器的能效提升越来越依赖于微体系结构的创新和软硬件协同的跨层优化，亟需支持处理器芯片跨层优化的开发框架和工具平台，希望本专题能够抛砖引玉，促进我国相关研究的进一步发展. 由于专题征集时间和篇幅有限，无法全面覆盖处理器芯片跨层优化设计领域的近期研究进展，不足之处敬请各位学者谅解和批评指正. 衷心感谢广大作者对本专题组织者的信任和支持，感谢审稿专家对于稿件的认真审查以及中肯的意见和建议！特别感谢本刊编委会和编辑部对本专题的支持，感谢编辑部的辛勤工作!
李华伟 研究员（中国科学院计算技术研究所）
哈亚军 教授 （上海科技大学）
姚海龙 教授（北京交通大学）
2024 年5月
计量
- 文章访问数: 316
- HTML全文浏览量: 8
- PDF下载量: 211
下载:
