| 摘要 | 第1-5页 |
| Abstract | 第5-16页 |
| 第一章 绪论 | 第16-26页 |
| ·研究背景 | 第17-20页 |
| ·车辆自组网 | 第17-19页 |
| ·车辆自组网隐私保护 | 第19-20页 |
| ·研究目的和意义 | 第20-22页 |
| ·面临的挑战 | 第20-22页 |
| ·现有研究工作的不足 | 第22页 |
| ·研究目标 | 第22页 |
| ·本文主要工作 | 第22-24页 |
| ·文章组织结构 | 第24-26页 |
| 第二章 密码学基础理论 | 第26-30页 |
| ·双线性映射 | 第26页 |
| ·代理签名 | 第26-27页 |
| ·代理重签名 | 第27页 |
| ·秘密分享和门限签名 | 第27-28页 |
| ·无证书门限代理签名 | 第28-30页 |
| 第三章 车辆自组网隐私保护 | 第30-56页 |
| ·VANET概述 | 第30-37页 |
| ·定义 | 第30-32页 |
| ·VANET特点 | 第32-33页 |
| ·不利因素方面 | 第32页 |
| ·有利因素方面 | 第32-33页 |
| ·VANET模型 | 第33-36页 |
| ·VANET应用 | 第36-37页 |
| ·安全类应用 | 第36页 |
| ·非安全类应用 | 第36-37页 |
| ·VANET隐私保护问题 | 第37-44页 |
| ·隐私泄露威胁 | 第38-39页 |
| ·隐私保护定义 | 第39-41页 |
| ·隐私保护机制 | 第41-43页 |
| ·立法保护模式 | 第41页 |
| ·行业自律模式 | 第41-42页 |
| ·技术保护模式 | 第42-43页 |
| ·隐私保护协议 | 第43-44页 |
| ·安全攻击和需求 | 第44-48页 |
| ·攻击模型 | 第44-45页 |
| ·安全需求 | 第45-48页 |
| ·研究现状 | 第48-56页 |
| ·HAB方案 | 第48页 |
| ·GSB方案 | 第48-49页 |
| ·GBW方案 | 第49-50页 |
| ·ECPP方案 | 第50-51页 |
| ·Hybrid方案 | 第51页 |
| ·DCS方案 | 第51-52页 |
| ·WDG方案 | 第52页 |
| ·现有方案的不足 | 第52-56页 |
| 第四章 PS-PPF(隐私保护框架)、TP~4RS(V2I)和F AP P (V2V)条件隐私保护协议 | 第56-96页 |
| ·以消息和隐私保护为中心的安全机制 | 第56-58页 |
| ·隐私保护基本模式 | 第57页 |
| ·系统的安全监管 | 第57-58页 |
| ·消息的安全生成 | 第58页 |
| ·消息的安全传播 | 第58页 |
| ·消息的安全追溯 | 第58页 |
| ·PS-PPF：基于代理签名的VANET隐私保护基本框架 | 第58-61页 |
| ·PS-PPF顶层结构 | 第59-60页 |
| ·PS-PPF底层结构 | 第60页 |
| ·代理签名 | 第60-61页 |
| ·TP~4RS：一个基于RSU和代理重签名的可追溯VANET隐私保护协议 | 第61-69页 |
| ·系统初始化 | 第62-64页 |
| ·系统建立 | 第62-63页 |
| ·RSU密钥生成 | 第63页 |
| ·OBU密钥生成 | 第63-64页 |
| ·代理重签名密钥生成 | 第64页 |
| ·消息产生 | 第64-65页 |
| ·OBU签名 | 第65页 |
| ·RSU重签名 | 第65页 |
| ·消息验证 | 第65-67页 |
| ·OBU签名的消息验证 | 第65-67页 |
| ·RSU重签名的消息验证 | 第67页 |
| ·追溯 | 第67-68页 |
| ·身份撤销 | 第68-69页 |
| ·TP~4RS协议分析 | 第69-81页 |
| ·正确性分析 | 第69页 |
| ·安全性分析 | 第69-71页 |
| ·性能分析 | 第71-79页 |
| ·存储开销分析 | 第72-75页 |
| ·计算开销分析 | 第75-78页 |
| ·通信开销分析 | 第78-79页 |
| ·脆弱性分析 | 第79-81页 |
| ·FAPP ：一个浮动车辅助的可追溯V2V通信隐私保护协议 | 第81-91页 |
| ·系统初始化 | 第82-85页 |
| ·系统建立 | 第82页 |
| ·OBU密钥生成 | 第82-83页 |
| ·FOBU密钥生成 | 第83-84页 |
| ·RSU密钥生成 | 第84-85页 |
| ·以FOBU为组长构建群组 | 第85页 |
| ·消息产生 | 第85-88页 |
| ·消息产生 | 第86-87页 |
| ·消息群内转发 | 第87-88页 |
| ·消息验证 | 第88-89页 |
| ·追溯 | 第89-90页 |
| ·分离模式的追溯 | 第89-90页 |
| ·聚合模式的追溯 | 第90页 |
| ·身份撤销 | 第90-91页 |
| ·FAPP 协议分析 | 第91-94页 |
| ·正确性分析 | 第91页 |
| ·安全性分析 | 第91-92页 |
| ·性能分析 | 第92-93页 |
| ·计算开销分析 | 第92-93页 |
| ·存储开销分析 | 第93页 |
| ·通信开销分析 | 第93页 |
| ·脆弱性分析 | 第93-94页 |
| ·本章小结 | 第94-96页 |
| 第五章 PKU-VPPS：基于TP4RS,FAPP,TCTPS协议的VANET隐私保护系统 | 第96-126页 |
| ·系统设计总体框架 | 第96-102页 |
| ·设计思路 | 第96-97页 |
| ·系统假设 | 第97-98页 |
| ·设计原则 | 第98-100页 |
| ·需求分析和设计目标 | 第100-102页 |
| ·系统模型 | 第102-104页 |
| ·认证中心 | 第102-103页 |
| ·路边单元 | 第103-104页 |
| ·车载单元 | 第104页 |
| ·服务提供商 | 第104页 |
| ·体系架构 | 第104-106页 |
| ·分布式权力管理（DM） | 第106-108页 |
| ·认证中心（TRC） | 第106页 |
| ·执行分支（PED） | 第106-107页 |
| ·追溯分支（TED） | 第107页 |
| ·运维中心（OC） | 第107-108页 |
| ·密钥管理（KM） | 第108-111页 |
| ·密钥和证书产生 | 第108页 |
| ·密钥分发和存储 | 第108页 |
| ·临时证书池 | 第108-110页 |
| ·身份撤销 | 第110-111页 |
| ·关键技术 | 第111-119页 |
| ·TP~4RS：可追溯V2I通信隐私保护协议 | 第111-112页 |
| ·FAPP ：可追溯V2V通信隐私保护协议 | 第112-113页 |
| ·TCTPS：追溯权控制协议 | 第113-119页 |
| ·协议构造 | 第113-117页 |
| ·正确性分析 | 第117页 |
| ·安全性分析 | 第117-118页 |
| ·性能分析 | 第118-119页 |
| ·RSU防护和评测技术 | 第119页 |
| ·主机加固 | 第119页 |
| ·入侵检测 | 第119页 |
| ·系统整体分析 | 第119-123页 |
| ·安全性分析 | 第119-122页 |
| ·其它方面分析 | 第122-123页 |
| ·本章小结 | 第123-126页 |
| 第六章 总结和展望 | 第126-130页 |
| ·总结 | 第126-127页 |
| ·展望 | 第127-130页 |
| 参考文献 | 第130-138页 |
| 附录 A 协议正确性证明分析 | 第138-142页 |
| A.1 TP~4RS协议正确性证明分析 | 第138-139页 |
| A.2 FAPP 协议正确性证明分析 | 第139页 |
| A.3 TCTPS协议正确性证明分析 | 第139-142页 |
| 在学期间的研究成果 | 第142-144页 |
| 致谢 | 第144页 |
