期刊文献+

新的车辆远程诊断授权协议 被引量:3

New remote authorization protocol for vehicle diagnosis
下载PDF
导出
摘要 诊断主体授权问题是车辆远程故障诊断中的关键问题。针对当前车辆远程诊断授权协议(PVAUDS)中存在的问题,提出了新的车辆远程诊断授权协议(PVAUDS+)。在保证原协议安全目标的前提下,为诊断主体提供双向认证和票据新鲜性验证,并保证发送票据的可信第三方能够有效抵御拒绝服务攻击。使用安全协议证明工具ProVerif对PVAUDS+协议的安全属性进行自动化证明,通过增加发起代价的机制解决对可信第三方的拒绝服务攻击问题,从而说明PVAUSD+协议能够满足提出的安全目标。定量分析结果说明本协议具有较好的可行性。 The authorization of diagnosis principals is a critical problem in the remote fault diagnosis of vehicles. Con- sidering the defects of the previous authorization protocol for the remote diagnosis, i.e. PVAUDS, a novel authorization protocol is proposed, named PVAUDS+. In addition to the enforcement on the security properties of PVAUDS, the bidi- rectional authentication and the freshness of authorization tickets for the diagnosis principals are provided. The resistance of Denial-of-Service (DOS) attack for the trusted third party is also provided. The proposed security targets are achieved through the cost increasing of requests for the resistance of DoS attack, the automatic proof of security properties with the ProVerif tool. The results of quantitative analysis show proposed protocol is practical for use.
出处 《通信学报》 EI CSCD 北大核心 2014年第11期146-153,共8页 Journal on Communications
基金 国家自然基金委员会-广东联合基金重点基金资助项目(U1135002) 国家自然科学基金资助项目(61303033) 陕西省自然科学基础研究计划基金资助项目(2013JQ8036) 中央高校基本科研业务费专项资金资助项目(JB140309) 航空科学基金资助项目(2013ZC31003 20141931001)~~
关键词 安全协议 车辆远程诊断 授权 协议自动化证明 security protocol remote vehicle diagnosis authorization automatic proof of protocol
  • 相关文献

参考文献15

  • 1PIERRE K, TOMAS O. Protecting vehicles against unauthorized diagnostics sessions using trusted third parties[A]. SAFECOMP 2013[C]. 2013.70-81.
  • 2JHENG S J, CHEN S H. The implementation of OBD-II vehicle di- agnosis system integrated with cloud computation technology[A]. RVSP 2013[C]. 2013.9-12.
  • 3CHEN S H, WANG J F, WEI Y R. The implementation of real-time on-line vehicle diagnostics and early fault estimation system[A]. The Fitth International Conference on Genetic and Evolutionary Comput- ing[C]. 2011.13-16.
  • 4ASHRAF T, AHMAD S, FOUAD J, et al. Android-based universal vehicle diagnostic and tracking system[A]. Consumer Electron- ics(ISCE)[C]. 2012.137-143.
  • 5何金儿,朱守正,张长伟.一种新的车辆远程诊断系统的设计和实现[J].计算机应用与软件,2012,29(9):95-97. 被引量:3
  • 6MUHAMMAD S I, HENDRIK S, YVES R, et al. Secure automotive on-board protocols: a ease of over-the-air firmware updates[J]. Nets4Trains/Nets4Cars, 2011, 6596: 224-238.
  • 7DENNIS K. NILSSON, ULF E. LARSON: secure firmware updates over the air in intelligent vehicles[A]. IEEE International Conference on Communications Workshops (ICC Worksbops)[C]. 2008.380-384.
  • 8DANNY D, ANDREW C, YAO. On the security of public key proto- cols[A]. IEEE Transactions on Information Theory[C]. 1983.198-208.
  • 9BRUNO B. An efficient cryptographic protocol verifier based on prolog rules[A]. Computer Security Foundations Workshop[C]. 2001.82-96.
  • 10BLANCHET B, SMYTH B, CHEVAL V. ProVerif 1.87: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial[M]. 2013.

二级参考文献3

  • 1汪兵.WindowsCE嵌入式高级编程及其实例详解[M].北京:中国水利水电出版社,2008.
  • 2瑞萨电子公司.瑞萨32位RISC单片机技术报告[R].2010.
  • 3U.Blox公司.LEA-5A技术文档[R].2010.

共引文献2

同被引文献13

引证文献3

二级引证文献12

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部