| 摘要 | 第4-6页 |
| Abstract | 第6-7页 |
| 第1章 绪论 | 第11-23页 |
| 1.1 引言 | 第11页 |
| 1.2 车联网及车联网云的研究现状 | 第11-16页 |
| 1.2.1 车联网的研究现状 | 第11-13页 |
| 1.2.2 车联网云计算的研究现状 | 第13-16页 |
| 1.3 车联网云的安全威胁和需求 | 第16-20页 |
| 1.3.1 车联网云面临的安全威胁 | 第16-17页 |
| 1.3.2 构建安全车联网云的挑战 | 第17-20页 |
| 1.4 车联网云安全相关研究进展 | 第20-21页 |
| 1.5 主要研究内容及主要贡献 | 第21页 |
| 1.6 论文组织结构 | 第21-23页 |
| 第2章 可信车联网云的构建 | 第23-43页 |
| 2.1 引言 | 第23-24页 |
| 2.2 可信保障架构下的车联网云平台研究 | 第24-26页 |
| 2.2.1 车联网云计算环境 | 第25-26页 |
| 2.2.2 车联网云区域边界 | 第26页 |
| 2.2.3 车联网云通信网络 | 第26页 |
| 2.3 基于可信计算的车联网云基础设施模型 | 第26-36页 |
| 2.3.1 基于可信计算的IaaS架构 | 第27-29页 |
| 2.3.2 TVC平台的组成 | 第29-30页 |
| 2.3.3 车载单元（OBU）的身份验证 | 第30-31页 |
| 2.3.4 OBU的信任度评估 | 第31-33页 |
| 2.3.5 可信车联网云基础设施平台 | 第33-36页 |
| 2.4 可信车联网云安全通信模型 | 第36-41页 |
| 2.4.1 TVC安全通信机制的构建 | 第37页 |
| 2.4.2 基于可信匿名认证的ROBU身份验证机制 | 第37-40页 |
| 2.4.3 安全通信模型的分析 | 第40-41页 |
| 2.5 本章小结 | 第41-43页 |
| 第3章 基于模糊属性签密的车联网云 | 第43-59页 |
| 3.1 引言 | 第43-44页 |
| 3.2 属性密码学背景知识 | 第44-46页 |
| 3.2.1 属性加密 | 第44-45页 |
| 3.2.2 属性签密 | 第45页 |
| 3.2.3 属性安全协议 | 第45-46页 |
| 3.3 相关领域研究进展 | 第46-48页 |
| 3.3.1 概念的提出 | 第46页 |
| 3.3.2 可证明安全属性的密码方案 | 第46-47页 |
| 3.3.3 基于属性加密的近期研究成果 | 第47-48页 |
| 3.4 基于模糊属性签密的可信车联网云安全模型 | 第48-53页 |
| 3.4.1 访问控制结构 | 第48页 |
| 3.4.2 对称双线性及相关假设 | 第48-49页 |
| 3.4.3 FOABS算法 | 第49-51页 |
| 3.4.4 算法实现 | 第51-53页 |
| 3.5 算法分析 | 第53-58页 |
| 3.5.1 算法的有效性 | 第53-54页 |
| 3.5.2 安全性分析 | 第54-58页 |
| 3.6 本章小结 | 第58-59页 |
| 第4章 可信车联网云中可信管理机制的研究 | 第59-75页 |
| 4.1 引言 | 第59-60页 |
| 4.2 云平台管理相关技术研究现状 | 第60-63页 |
| 4.2.1 云平台的管理技术 | 第60-61页 |
| 4.2.2 移动云可信管理技术 | 第61-63页 |
| 4.3 车联网云平台可信环境的构建 | 第63-66页 |
| 4.3.1 车联网云平台可信链的构造 | 第63-64页 |
| 4.3.2 车联网云平台的“生态圈”的构建 | 第64-66页 |
| 4.4 车联网云平台中可信管理框架 | 第66-68页 |
| 4.5 可信车联网云可信管理机制的实现 | 第68-73页 |
| 4.5.1 TVC上虚拟机的创建 | 第69-70页 |
| 4.5.2 TVC的可信报告 | 第70-71页 |
| 4.5.3 VM上的资源更新 | 第71-72页 |
| 4.5.4 TVC上虚拟机的注销 | 第72-73页 |
| 4.6 本章小结 | 第73-75页 |
| 第5章 基于可信计算的车联网云用户远程证明 | 第75-93页 |
| 5.1 引言 | 第75页 |
| 5.2 远程证明的研究背景 | 第75-78页 |
| 5.2.1 远程证明的概念 | 第75-76页 |
| 5.2.2 远程证明研究现状 | 第76-78页 |
| 5.3 基于可信计算的车联网云用户远程证明 | 第78-91页 |
| 5.3.1 可信车联网云的场景分析 | 第78-81页 |
| 5.3.2 基于可信计算车联网云远程证明算法框架 | 第81-82页 |
| 5.3.3 证明方案 | 第82-91页 |
| 5.4 本章小结 | 第91-93页 |
| 结论与展望 | 第93-95页 |
| 参考 文献 | 第95-105页 |
| 攻读博士学位期间取得的研究成果 | 第105-107页 |
| 攻读博士学位期间参与的科研工作 | 第107-109页 |
| 致谢 | 第109页 |