| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 绪论 | 第9-14页 |
| ·研究背景 | 第9-10页 |
| ·国内外发展现状 | 第10-11页 |
| ·主要完成的工作 | 第11-12页 |
| ·组织结构 | 第12-14页 |
| 第二章 RFID认证协议相关知识介绍 | 第14-24页 |
| ·系统构成与通信模型 | 第14-15页 |
| ·系统构成 | 第14页 |
| ·通信模型 | 第14-15页 |
| ·安全威胁与安全需求 | 第15-18页 |
| ·安全威胁 | 第15-17页 |
| ·安全需求 | 第17-18页 |
| ·现有的解决方案及分析 | 第18-21页 |
| ·物理安全机制 | 第18页 |
| ·基于密码技术的安全机制 | 第18-21页 |
| ·RFID认证协议的分析方法 | 第21-23页 |
| ·协议分析的基本假设 | 第21-22页 |
| ·形式化分析方法 | 第22-23页 |
| ·小结 | 第23-24页 |
| 第三章 基于NTRU公钥系统的RFID双向认证协议与分析 | 第24-39页 |
| ·NTRU公钥密码简介 | 第24-25页 |
| ·有线RFID系统认证协议的基本假设 | 第25-26页 |
| ·对几个基于NTRU公钥算法认证协议的分析 | 第26-27页 |
| ·蔡庆玲等人提出的协议 | 第26页 |
| ·张恒山等人提出的协议 | 第26-27页 |
| ·基于NTRU公钥系统的RFID双向认证协议 | 第27-29页 |
| ·符号定义 | 第27-28页 |
| ·协议执行过程 | 第28-29页 |
| ·协议的GNY逻辑证明 | 第29-34页 |
| ·GNY逻辑相关规则 | 第29-32页 |
| ·协议的形式化证明 | 第32-34页 |
| ·协议性能分析与比较 | 第34-37页 |
| ·协议安全性分析 | 第34-36页 |
| ·协议性能比较 | 第36-37页 |
| ·小结 | 第37-39页 |
| 第四章 适用于无线RFID系统的双向认证协议及分析 | 第39-53页 |
| ·无线RFID系统面临的新问题 | 第39页 |
| ·无线RFID系统认证协议的基本假设 | 第39-40页 |
| ·对几个无线RFID认证协议的分析 | 第40-43页 |
| ·Chia-Hui Wei等人提出的协议 | 第40-41页 |
| ·张楠等人提出的协议 | 第41-42页 |
| ·刘鹏等人提出的协议 | 第42-43页 |
| ·前面三个认证协议存在的共性问题 | 第43页 |
| ·适用于无线RFID系统的双向认证协议 | 第43-46页 |
| ·SMS4密码算法简介 | 第43-44页 |
| ·符号定义与协议初始化 | 第44页 |
| ·协议执行过程 | 第44-46页 |
| ·协议的GNY逻辑证明 | 第46-48页 |
| ·协议性能分析与比较 | 第48-51页 |
| ·协议安全性分析 | 第48-50页 |
| ·协议性能比较 | 第50-51页 |
| ·小结 | 第51-53页 |
| 第五章 协议仿真实现及分析 | 第53-64页 |
| ·仿真环境简介 | 第53页 |
| ·协议仿真实现及效率分析 | 第53-58页 |
| ·协议安全性验证 | 第58-62页 |
| ·小结 | 第62-64页 |
| 第六章 总结与展望 | 第64-66页 |
| ·本文工作总结 | 第64-65页 |
| ·工作展望 | 第65-66页 |
| 参考文献 | 第66-70页 |
| 作者在读期间科研成果简介 | 第70-71页 |
| 致谢 | 第71-72页 |
| 附录 协议仿真及安全性验证结果 | 第72-81页 |