摘要 | 第5-7页 |
abstract | 第7-8页 |
第1章 绪论 | 第11-18页 |
1.1 课题的研究背景和意义 | 第11-12页 |
1.2 国内外研究现状 | 第12-15页 |
1.2.1 认证及密钥协商的研究现状 | 第12-13页 |
1.2.2 认证密钥协商安全分析的研究状况 | 第13-15页 |
1.3 本文主要工作及章节安排 | 第15-18页 |
1.3.1 研究目标 | 第15页 |
1.3.2 研究内容 | 第15-16页 |
1.3.3 章节安排 | 第16-18页 |
第2章 理论基础 | 第18-27页 |
2.1 数论基础 | 第18-20页 |
2.1.1 群、域 | 第18-19页 |
2.1.2 双线性对 | 第19页 |
2.1.3 困难问题及假设 | 第19-20页 |
2.2 哈希函数 | 第20-21页 |
2.3 数字签名 | 第21-22页 |
2.3.1 数字签名的定义 | 第21页 |
2.3.2 数字签名的性质 | 第21-22页 |
2.4 聚合签名 | 第22页 |
2.5 可证明安全性 | 第22-24页 |
2.5.1 可证明安全理论 | 第23页 |
2.5.2 随机预言机模型与标准模型 | 第23-24页 |
2.6 认证密钥协商协议 | 第24-26页 |
2.6.1 认证密钥协商协议的设计要求 | 第24-25页 |
2.6.2 认证密钥协商协议的安全要求 | 第25-26页 |
2.7 本章小结 | 第26-27页 |
第3章 异构无线网中匿名切换认证密钥协商协议 | 第27-45页 |
3.1 引言 | 第27-30页 |
3.2 安全模型 | 第30-31页 |
3.3 基于身份无双线性对的切换AKE协议 | 第31-34页 |
3.3.1 系统建立 | 第32页 |
3.3.2 注册阶段 | 第32-33页 |
3.3.3 认证密钥协商 | 第33-34页 |
3.4 方案分析 | 第34-44页 |
3.4.1 正确性分析 | 第34-35页 |
3.4.2 安全性分析 | 第35页 |
3.4.3 安全证明 | 第35-41页 |
3.4.4 性能比较 | 第41-44页 |
3.5 本章小结 | 第44-45页 |
第4章 车联网中匿名批量认证与密钥协商协议 | 第45-71页 |
4.1 引言 | 第45-47页 |
4.2 车联网系统模型 | 第47-48页 |
4.3 安全模型 | 第48-51页 |
4.3.1 无证书聚合签名(CLAS)安全模型 | 第48-50页 |
4.3.2 无证书的eCK(CL-eCK)安全模型 | 第50-51页 |
4.4 基于无证书聚合签名的匿名认证与密钥协商方案 | 第51-55页 |
4.4.1 系统建立 | 第51-52页 |
4.4.2 注册与授权颁发 | 第52-54页 |
4.4.3 认证与密钥协商 | 第54-55页 |
4.5 方案分析 | 第55-70页 |
4.5.1 正确性分析 | 第55-56页 |
4.5.2 安全证明 | 第56-68页 |
4.5.3 性能分析和比较 | 第68-70页 |
4.6 本章小结 | 第70-71页 |
结论与展望 | 第71-72页 |
致谢 | 第72-73页 |
参考文献 | 第73-81页 |
攻读硕士学位期间发表的论文专利及参与的科研项目 | 第81页 |