車輛遠(yuǎn)程診斷授權(quán)協(xié)議設(shè)計與形式化驗證研究.pdf

1、交通需求的日益增長給路網(wǎng)通行安全帶來了全新的挑戰(zhàn)，作為保障車輛行駛安全的傳統(tǒng)車輛診斷技術(shù)已難以滿足目前的實時性安全需求。對車輛進(jìn)行遠(yuǎn)程診斷作為解決該問題的有效途徑，是車輛診斷技術(shù)未來的發(fā)展方向。當(dāng)前與車輛遠(yuǎn)程診斷技術(shù)相關(guān)的工作多集中于診斷系統(tǒng)的設(shè)計以及診斷通信過程的研究，而針對診斷前所需進(jìn)行的身份認(rèn)證與授權(quán)過程的研究相對匱乏。
　　本文以安全協(xié)議與形式化驗證為出發(fā)點(diǎn)，選取車輛遠(yuǎn)程診斷前診斷通信主體的認(rèn)證與授權(quán)過程作為具體的研究對象

2、，提出了引入票據(jù)服務(wù)中心的車輛遠(yuǎn)程診斷授權(quán)協(xié)議，并使用形式化方法對協(xié)議進(jìn)行了描述與安全性驗證。在協(xié)議的設(shè)計中，提出引入可信平臺模塊機(jī)制以及基于混合策略納什均衡理論的client-puzzle機(jī)制來完善協(xié)議的安全性。在協(xié)議的安全性分析階段，本文針對車輛遠(yuǎn)程診斷授權(quán)協(xié)議所需的安全性，列出了其對應(yīng)的安全目標(biāo)，并對安全目標(biāo)使用形式化方法逐一進(jìn)行描述，然后使用安全協(xié)議驗證工具Proverif對經(jīng)過形式化描述的安全目標(biāo)進(jìn)行了安全性驗證。最后，本文對