通信学报
通信學報
통신학보
JOURNAL OF CHINA INSTITUTE OF COMMUNICATIONS
2014年
11期
146-153
,共8页
焦政达%马建峰%孙聪%姚青松
焦政達%馬建峰%孫聰%姚青鬆
초정체%마건봉%손총%요청송
安全协议%车辆远程诊断%授权%协议自动化证明
安全協議%車輛遠程診斷%授權%協議自動化證明
안전협의%차량원정진단%수권%협의자동화증명
security protocol%remote vehicle diagnosis%authorization%automatic proof of protocol
诊断主体授权问题是车辆远程故障诊断中的关键问题.针对当前车辆远程诊断授权协议(PVAUDS)中存在的问题,提出了新的车辆远程诊断授权协议(PVAUDS+).在保证原协议安全目标的前提下,为诊断主体提供双向认证和票据新鲜性验证,并保证发送票据的可信第三方能够有效抵御拒绝服务攻击.使用安全协议证明工具ProVerif对PVAUDS+协议的安全属性进行自动化证明,通过增加发起代价的机制解决对可信第三方的拒绝服务攻击问题,从而说明PVAUSD+协议能够满足提出的安全目标.定量分析结果说明本协议具有较好的可行性.
診斷主體授權問題是車輛遠程故障診斷中的關鍵問題.針對噹前車輛遠程診斷授權協議(PVAUDS)中存在的問題,提齣瞭新的車輛遠程診斷授權協議(PVAUDS+).在保證原協議安全目標的前提下,為診斷主體提供雙嚮認證和票據新鮮性驗證,併保證髮送票據的可信第三方能夠有效牴禦拒絕服務攻擊.使用安全協議證明工具ProVerif對PVAUDS+協議的安全屬性進行自動化證明,通過增加髮起代價的機製解決對可信第三方的拒絕服務攻擊問題,從而說明PVAUSD+協議能夠滿足提齣的安全目標.定量分析結果說明本協議具有較好的可行性.
진단주체수권문제시차량원정고장진단중적관건문제.침대당전차량원정진단수권협의(PVAUDS)중존재적문제,제출료신적차량원정진단수권협의(PVAUDS+).재보증원협의안전목표적전제하,위진단주체제공쌍향인증화표거신선성험증,병보증발송표거적가신제삼방능구유효저어거절복무공격.사용안전협의증명공구ProVerif대PVAUDS+협의적안전속성진행자동화증명,통과증가발기대개적궤제해결대가신제삼방적거절복무공격문제,종이설명PVAUSD+협의능구만족제출적안전목표.정량분석결과설명본협의구유교호적가행성.
