車載ad hoc網(wǎng)絡(luò)的安全性與隱私保護

譯者的話 前言 縮略語 第1章概述1 1.1背景1 1.2專用短程通信(DSRC)和車輛 自組織網(wǎng)絡(luò)(VANET)2 1.2.1專用短程通信(DSRC)2 1.2.2車輛自組織網(wǎng)絡(luò)(VANET)3 1.2.3VANET的特點5 1.3安全和隱私威脅6 1.4安全和隱私保護需求7 1.5挑戰(zhàn)和展望8 1.5.1VANET中有條件的 隱私保護8 1.5.2VANET中有效撤銷的認證9 1.6標(biāo)準(zhǔn)化和相關(guān)的活動9 1.7安全原語11 1.8本書概要15 參考文獻15 第2章GSIS:基于群簽名和基于 ID簽名的安全和隱私 保護協(xié)議18 2.1概述18 2.2預(yù)備知識和背景介紹19 2.2.1群簽名19 2.2.2雙線性對和基于 身份的加密19 2.2.3威脅模型20 2.2.4安全需求20 2.3安全和保護隱私協(xié)議21 2.3.1面臨的問題21 2.3.2系統(tǒng)設(shè)置23 2.3.3OBU之間的安全協(xié)議24 2.3.4RSU和OBU之間的 安全協(xié)議32 2.4性能評估34 2.4.1流量負荷的影響36 2.4.2加密簽名驗證延遲的影響37 2.4.3成員撤銷和跟蹤效率39 2.5結(jié)論40 參考文獻40 第3章ECPP:高效、有條件的 隱私保護協(xié)議43 3.1概述43 3.2系統(tǒng)模型和面臨的問題44 3.2.1系統(tǒng)模型44 3.2.2設(shè)計目標(biāo)45 3.3ECPP協(xié)議46 3.3.1系統(tǒng)初始化46 3.3.2OBU短時匿名密鑰生成48 3.3.3OBU安全消息發(fā)送52 3.3.4OBU快速跟蹤算法54 3.4有條件隱私保護分析55 3.5性能分析56 3.5.1OBU存儲開銷56 3.5.2OBU驗證計算開銷57 3.5.3TA進行OBU跟蹤的 計算復(fù)雜度58 3.6結(jié)論59 參考文獻59 第4章位置隱私的假名 改變策略61 4.1概述61 4.2問題定義63 4.2.1網(wǎng)絡(luò)模型63 4.2.2威脅模型64 4.2.3位置隱私保護需求64 4.3位置隱私的PCS策略64 4.3.1PCS策略的KPSD模型65 4.3.2針對位置隱私的匿名 集分析68 4.3.3PCS策略的靈活性分析73 4.4性能評估74 4.5結(jié)論76 參考文獻77 目錄●●●●●●●●●●車載ad hoc網(wǎng)絡(luò)的安全性與隱私保護第5章RSU輔助消息認證79 5.1概述79 5.2系統(tǒng)模型和預(yù)備知識80 5.2.1系統(tǒng)模型81 5.2.2假設(shè)81 5.2.3問題描述82 5.2.4安全目標(biāo)83 5.3RSU輔助的消息認證方案83 5.3.1概述83 5.3.2RSU和車輛之間的雙向認證和 密鑰協(xié)商84 5.3.3哈希聚合85 5.3.4確認86 5.3.5隱私擴展86 5.4性能評估88 5.4.1消息丟失率88 5.4.2消息時延89 5.4.3通信開銷90 5.5安全分析91 5.6結(jié)論92 參考文獻93 第6章基于TESLA的廣播 認證94 6.1概述94 6.2高效安全的車輛通信方案95 6.2.1預(yù)備知識95 6.2.2系統(tǒng)模式96 6.2.3建議的TSVC方案97 6.2.4支持不可否認性的 增強TSVC方案102 6.2.5討論106 6.3安全分析111 6.4性能評估112 6.4.1車輛移動速度的影響114 6.4.2車輛密度的影響115 6.5結(jié)論116 參考文獻116 第7章分布式合作消息認證119 7.1概述119 7.2問題描述120 7.2.1網(wǎng)絡(luò)模型120 7.2.2安全模型120 7.3基本合作認證方案121 7.4安全合作認證方案123 7.4.1用于實現(xiàn)公平的證據(jù)和 令牌123 7.4.2認證證明126 7.4.3方案的流程128 7.5安全性分析128 7.5.1鏈接性攻擊128 7.5.2沒有認證成果的搭便 車攻擊128 7.5.3用假認證成果的搭便 車攻擊129 7.6性能評估129 7.6.1仿真設(shè)置129 7.6.2仿真結(jié)果130 7.7結(jié)論131 參考文獻132 第8章上下文感知的合作認證133 8.1概述133 8.2VANET中的可信消息135 8.3系統(tǒng)模型和設(shè)計目標(biāo)138 8.3.1網(wǎng)絡(luò)模型138 8.3.2攻擊模型139 8.3.3設(shè)計目標(biāo)139 8.4預(yù)備知識139 8.4.1配對技術(shù)139 8.4.2聚合簽名和批量驗證139 8.5AEMAT方案140 8.5.1系統(tǒng)設(shè)置140 8.5.2注冊140 8.5.3SER生成和廣播141 8.5.4SER機會轉(zhuǎn)發(fā)141 8.5.5SER聚合認證142 8.5.6SER聚合可信144 8.6安全討論146 8.6.1共謀攻擊146 8.6.2證人隱私保護147 8.7性能評估147 8.7.1傳輸開銷147 8.7.2計算開銷147 8.8結(jié)論148 參考文獻148 第9章基于移動預(yù)測的快速 認證切換150 9.1概述150 9.2車聯(lián)網(wǎng)架構(gòu)151 9.3基于移動預(yù)測的快速切換 認證方案152 9.3.1多層感知分類器152 9.3.2建議的認證方案154 9.4安全性分析159 9.4.1重放攻擊159 9.4.2前向安全159 9.5性能評估159 9.6結(jié)論161 參考文獻161