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

目錄
前言
第1章　車聯(lián)網安全與認證概述　1
1.1　車聯(lián)網的發(fā)展歷程　1
1.2　車聯(lián)網產業(yè)的安全現(xiàn)狀　1
1.3　車聯(lián)網體系結構　3
1.3.1　車聯(lián)網通信分類　4
1.3.2　車內總線網絡　4
1.4　車聯(lián)網安全威脅分析　5
1.4.1　智能網聯(lián)汽車安全威脅分析　5
1.4.2　車載智能終端安全威脅分析　8
1.4.3　車聯(lián)網服務平臺安全威脅分析　9
1.4.4　車聯(lián)網通信安全威脅分析　10
1.4.5　車聯(lián)網數(shù)據(jù)安全和隱私泄露安全威脅分析　10
1.5　車聯(lián)網認證研究現(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)網認證　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)網認證　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)網認證　90
5.1　基于橢圓曲線的車聯(lián)網漫游認證　90
5.1.1　方案設計　92
5.1.2　方案分析　95
5.2　基于格的車聯(lián)網漫游認證　106
5.2.1　方案設計　107
5.2.2　方案分析　113
參考文獻　122