車載自組織網(wǎng)絡(luò)安全認(rèn)證與隱私保護(hù)的研究.pdf

1、車載自組織網(wǎng)絡(luò)是解決智能交通系統(tǒng)中動(dòng)態(tài)信息服務(wù),實(shí)現(xiàn)車聯(lián)網(wǎng)最為關(guān)鍵的技術(shù)。VANET系統(tǒng)的研究在為人們提供更便捷服務(wù)的同時(shí),也帶來(lái)了更多的安全隱患。本文對(duì)VANET系統(tǒng)的安全認(rèn)證與隱私保護(hù)進(jìn)行研究,提出了適用于 VANET的保護(hù)隱私的匿名認(rèn)證方案和跨信任域資源訪問(wèn)的匿名認(rèn)證模型。
　　安全認(rèn)證與隱私保護(hù)是VANET安全研究的首要問(wèn)題,本文根據(jù)VANET中車輛節(jié)點(diǎn)運(yùn)動(dòng)明顯的群組特征,將環(huán)簽名和數(shù)字簽密理論引入了 VANET安全研究領(lǐng)

2、域,提出了一種適用于VANET保護(hù)隱私的匿名認(rèn)證方案。方案利用環(huán)簽密理論以更小的計(jì)算和通信代價(jià)在完成匿名認(rèn)證的同時(shí)對(duì)節(jié)點(diǎn)發(fā)送的消息進(jìn)行加密,保障了節(jié)點(diǎn)的隱私。方案加入了對(duì)指定驗(yàn)證者驗(yàn)證簽名節(jié)點(diǎn)真實(shí)身份的功能,這對(duì)于VANET應(yīng)用環(huán)境具有更加實(shí)際的意義。最后利用形式化的方法,從理論上嚴(yán)格證明了所提出的方案滿足正確性、節(jié)點(diǎn)身份匿名性、消息的保密性、簽名的不可偽造性、簽名者身份的不可偽造性以及簽名者身份的可驗(yàn)證性。
　　車載自組織網(wǎng)絡(luò)中

3、車輛節(jié)點(diǎn)的運(yùn)動(dòng)具有高度的動(dòng)態(tài)性,這就導(dǎo)致了跨信任域資源訪問(wèn)的認(rèn)證問(wèn)題。本文在分析節(jié)點(diǎn)跨域訪問(wèn)安全需求的基礎(chǔ)上,結(jié)合橢圓曲線加密算法和橢圓曲線簽名算法,利用CK模型構(gòu)建了車載自組織網(wǎng)絡(luò)的跨信任域匿名認(rèn)證模型。模型主要包括資源訪問(wèn)實(shí)體間的安全密鑰協(xié)商協(xié)議和兩兩實(shí)體間的雙向匿名認(rèn)證協(xié)議,并且最后從理論上分析并證明了模型所設(shè)計(jì)的協(xié)議在保證車載自組織網(wǎng)絡(luò)整體效率的前提下,滿足系統(tǒng)的安全需求,同時(shí)通過(guò)與其它方案對(duì)比,本文提出的模型花費(fèi)更少的計(jì)算和通