新的车辆远程诊断授权协议

摘要：

诊断主体授权问题是车辆远程故障诊断中的关键问题.针对当前车辆远程诊断授权协议(PVAUDS)中存在的问题,提出了新的车辆远程诊断授权协议(PVAUDS+).在保证原协议安全目标的前提下,为诊断主体提供双向认证和票据新鲜性验证,并保证发送票据的可信第三方能够有效抵御拒绝服务攻击.使用安全协议证明工具ProVerif对PVAUDS+协议的安全属性进行自动化证明,通过增加发起代价的机制解决对可信第三方的拒绝服务攻击问题,从而说明PVAUSD+协议能够满足提出的安全目标.定量分析结果说明本协议具有较好的可行性.

关键词：安全协议、车辆远程诊断、授权、协议自动化证明

所属期刊栏目：35

分类号：TP393.0;TP918.1(计算技术、计算机技术)

资助基金：国家自然基金委员会—广东联合基金重点基金资助项目U1135002;国家自然科学基金资助项目61303033;陕西省自然科学基础研究计划基金资助项目2013JQ8036;中央高校基本科研业务费专项资金资助项目JB140309;航空科学基金资助项目2013ZC31003,20141931001The Key Program of NSFC-Guangdong Union FoundationU1135002;The National Natural Science Foundation of China61303033;The Natural Science Basis Research Plan in Shaanxi Province of China2013JQ8036;The Fundamental Research Funds for the Central UniversitiesJB140309;The Aviation Science Foundation of China2013ZC31003,20141931001

在线出版日期：2015-01-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：146-153