| 摘要 | 第1-6页 |
| Abstract | 第6-7页 |
| 目录 | 第7-9页 |
| 插图索引 | 第9-10页 |
| 附表索引 | 第10-11页 |
| 第1章 绪论 | 第11-17页 |
| ·选题来源 | 第11页 |
| ·研究背景和意义 | 第11-12页 |
| ·射频识别技术的发展和应用 | 第12-13页 |
| ·国内外研究现状 | 第13-16页 |
| ·本文的研究工作及章节安排 | 第16-17页 |
| 第2章 射频识别系统及其安全性问题的研究 | 第17-35页 |
| ·射频识别系统的概述 | 第17-20页 |
| ·射频识别系统的组成 | 第17-18页 |
| ·射频识别系统的分类 | 第18页 |
| ·射频识别系统的工作原理 | 第18-19页 |
| ·射频识别系统的通信模型 | 第19-20页 |
| ·EPC C1G2 标准 | 第20-23页 |
| ·基本特征 | 第20-21页 |
| ·工作原理 | 第21-22页 |
| ·认证过程 | 第22-23页 |
| ·射频识别系统的安全问题 | 第23-25页 |
| ·射频识别的安全需求 | 第23-24页 |
| ·射频识别系统的安全威胁 | 第24-25页 |
| ·几种典型 EPC C1G2 认证协议的安全分析 | 第25-31页 |
| ·Duc 等人的方案 | 第25-27页 |
| ·Chien 等人的方案 | 第27-28页 |
| ·SASI 协议 | 第28-29页 |
| ·Hung-min Sun 的 gen2+协议 | 第29-31页 |
| ·射频识别安全协议的分析方法 | 第31-34页 |
| ·逻辑证明方法 | 第31-32页 |
| ·模型检测方法 | 第32-34页 |
| ·本章小结 | 第34-35页 |
| 第3章 一种符合 EPC C1G2 的 RFID 双向安全认证协议—SAPCC1G2 | 第35-45页 |
| ·符号的说明及函数的构造 | 第35-37页 |
| ·符号的说明 | 第35-36页 |
| ·函数的构造及实现 | 第36-37页 |
| ·SAPCC1G2 协议的描述 | 第37-39页 |
| ·协议的主要思想 | 第37页 |
| ·协议的实现过程 | 第37-39页 |
| ·协议的搜索算法 NCSF | 第39页 |
| ·性能分析 | 第39-42页 |
| ·安全性分析 | 第42-43页 |
| ·本章小结 | 第43-45页 |
| 第4章 协议 SAPCC1G2 的 SMV 分析 | 第45-54页 |
| ·协议的安全假设 | 第45页 |
| ·协议的建模及定义 | 第45-46页 |
| ·协议的有限状态系统 | 第46-52页 |
| ·主体 R 的有限状态模型 | 第47-48页 |
| ·主体 T 的有限状态模型 | 第48-50页 |
| ·主体 I 的有限状态模型 | 第50-52页 |
| ·协议系统属性的 CLT 描述 | 第52页 |
| ·协议的验证结果 | 第52-53页 |
| ·本章小结 | 第53-54页 |
| 总结与展望 | 第54-56页 |
| 参考文献 | 第56-60页 |
| 致谢 | 第60-61页 |
| 附录A 攻读硕士学位期间发表论文目录 | 第61页 |