車聯(lián)網(wǎng)安全認證協(xié)議與算法

目錄
前言
第1章　車聯(lián)網(wǎng)安全與認證概述　1
1.1　車聯(lián)網(wǎng)的發(fā)展歷程　1
1.2　車聯(lián)網(wǎng)產(chǎn)業(yè)的安全現(xiàn)狀　1
1.3　車聯(lián)網(wǎng)體系結(jié)構　3
1.3.1　車聯(lián)網(wǎng)通信分類　4
1.3.2　車內(nèi)總線網(wǎng)絡　4
1.4　車聯(lián)網(wǎng)安全威脅分析　5
1.4.1　智能網(wǎng)聯(lián)汽車安全威脅分析　5
1.4.2　車載智能終端安全威脅分析　8
1.4.3　車聯(lián)網(wǎng)服務平臺安全威脅分析　9
1.4.4　車聯(lián)網(wǎng)通信安全威脅分析　10
1.4.5　車聯(lián)網(wǎng)數(shù)據(jù)安全和隱私泄露安全威脅分析　10
1.5　車聯(lián)網(wǎng)認證研究現(xiàn)狀　12
1.5.1　身份認證　12
1.5.2　消息認證　13
參考文獻　16
第2章　認證協(xié)議與算法安全證明基礎　18
2.1　數(shù)學基礎　18
2.2　格密碼基礎　19
2.2.1　NTRU算法　21
2.2.2　素數(shù)環(huán)上的NTRU算法　23
2.3　可證明安全性　25
2.4　安全模型　27
2.5　BAN邏輯　30
參考文獻　32
第3章　具有隱私保護特性的車聯(lián)網(wǎng)認證　33
3.1　基于信任擴展認證機制的匿名認證　33
3.1.1　系統(tǒng)模型　33
3.1.2　方案具體構造　34
3.1.3　方案分析　40
3.2　帶可控連接的匿名認證　53
3.2.1　系統(tǒng)模型　53
3.2.2　方案具體構造　54
3.2.3　方案分析　58
參考文獻　66
第4章　抗部分密鑰泄露的車聯(lián)網(wǎng)認證　67
4.1　密鑰隔離安全的認證　67
4.1.1　方案設計　68
4.1.2　方案分析　71
4.2　密鑰隔離的可否認的認證　78
4.2.1　方案設計　79
4.2.2　系統(tǒng)初始化階段　79
4.2.3　車輛注冊階段　80
4.2.4　請求服務階段　81
4.2.5　認證階段　81
4.2.6　身份揭示階段　82
4.2.7　方案分析　82
參考文獻　89
第5章　輕量級車聯(lián)網(wǎng)認證　90
5.1　基于橢圓曲線的車聯(lián)網(wǎng)漫游認證　90
5.1.1　方案設計　92
5.1.2　方案分析　95
5.2　基于格的車聯(lián)網(wǎng)漫游認證　106
5.2.1　方案設計　107
5.2.2　方案分析　113
參考文獻　122