| 摘要 | 第1-7页 |
| ABSTRACT | 第7-11页 |
| 第一章 绪论 | 第11-15页 |
| ·研究背景及意义 | 第11-12页 |
| ·国内外研究现状 | 第12-14页 |
| ·论文的研究内容 | 第14页 |
| ·论文的结构安排 | 第14-15页 |
| 第二章 超高频RFID系统的安全问题 | 第15-26页 |
| ·RFID系统简介 | 第15-18页 |
| ·RFID系统的组成 | 第15-16页 |
| ·RFID系统的分类 | 第16-18页 |
| ·一般RFID系统的安全问题 | 第18-23页 |
| ·RFID系统面临的安全威胁 | 第18-20页 |
| ·RFID系统通讯中的安全问题 | 第20-21页 |
| ·RFID系统现有的安全机制 | 第21-23页 |
| ·超高频RFID系统的安全问题 | 第23-25页 |
| ·超高频RFID系统的特殊性 | 第23-24页 |
| ·超高频RFID系统面临的安全问题 | 第24页 |
| ·超高频RFID系统现有的安全机制 | 第24-25页 |
| ·小结 | 第25-26页 |
| 第三章 超高频RFID空中接口协议认证机制的分析 | 第26-37页 |
| ·超高频RFID标准概况 | 第26页 |
| ·EPC C1G2标准 | 第26-31页 |
| ·基本特点 | 第26-27页 |
| ·工作过程 | 第27-28页 |
| ·认证机制 | 第28-31页 |
| ·已有的基于EPC C1G2的改进认证方案 | 第31-36页 |
| ·Duc等人的方案 | 第31-32页 |
| ·Chien等人的方案—相互认证协议 | 第32-33页 |
| ·Konidola等人的方案—TRMA和TRMA+ | 第33-34页 |
| ·SASI协议 | 第34-36页 |
| ·小结 | 第36-37页 |
| 第四章 基于动态密钥的新方案 | 第37-48页 |
| ·超高频RFID认证协议的安全需求 | 第37-38页 |
| ·基于动态密钥的认证方案 | 第38-43页 |
| ·基本原理 | 第39页 |
| ·符号说明 | 第39-40页 |
| ·认证过程 | 第40-41页 |
| ·关键技术 | 第41-43页 |
| ·协议的安全性分析 | 第43-45页 |
| ·实现的复杂性分析 | 第45-47页 |
| ·小结 | 第47-48页 |
| 第五章 新方案的安全性证明 | 第48-57页 |
| ·安全协议的分析方法 | 第48-49页 |
| ·SMV简介 | 第49-51页 |
| ·基于SMV模型检测的安全性证明 | 第51-56页 |
| ·协议的形式化描述 | 第51-55页 |
| ·协议安全属性的CTL描述 | 第55-56页 |
| ·协议的验证结果 | 第56页 |
| ·小结 | 第56-57页 |
| 第六章 新方案的性能仿真 | 第57-70页 |
| ·协议设计与网络仿真技术 | 第57页 |
| ·OPNET简介 | 第57-58页 |
| ·基于OPNET的协议仿真 | 第58-69页 |
| ·仿真模型的建立 | 第59-65页 |
| ·仿真参数的设置 | 第65-66页 |
| ·仿真结果及分析 | 第66-69页 |
| ·小结 | 第69-70页 |
| 第七章 总结与展望 | 第70-72页 |
| ·论文总结 | 第70页 |
| ·研究展望 | 第70-72页 |
| 参考文献 | 第72-76页 |
| 致谢 | 第76-77页 |
| 攻读硕士期间发表的论文 | 第77页 |