| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第1章 绪论 | 第10-14页 |
| ·引言 | 第10-11页 |
| ·网络安全概述 | 第11页 |
| ·安全协议的发展现状与研究意义 | 第11-12页 |
| ·RFID 系统介绍及其安全机制的特点与研究现状 | 第12-13页 |
| ·本文研究的主要内容及章节安排 | 第13-14页 |
| 第2章 安全协议及其形式化分析 | 第14-23页 |
| ·安全协议的基本概念和安全性质 | 第14-16页 |
| ·安全协议的攻击者 | 第16-17页 |
| ·安全协议的设计原则 | 第17-18页 |
| ·形式化分析方法概述 | 第18-19页 |
| ·形式化分析的历史 | 第19-21页 |
| ·目前安全协议形式化分析方法的基本假设 | 第21-22页 |
| ·本章小结 | 第22-23页 |
| 第3章 串空间理论与模型及其扩展 | 第23-34页 |
| ·串空间理论简介 | 第23页 |
| ·串空间理论基础 | 第23-29页 |
| ·串空间理论与模型的扩展 | 第29-33页 |
| ·本章小结 | 第33-34页 |
| 第4章 RFID 系统安全协议 | 第34-64页 |
| ·RFID 系统的基本构成与通信模型 | 第34-35页 |
| ·RFID 系统安全协议 | 第35-42页 |
| ·数字图书馆RFID 协议的串空间形式化分析 | 第42-51页 |
| ·针对目前提出的RFID 系统安全协议的修改与分析 | 第51-55页 |
| ·提出的DRAP 协议的串空间理论分析 | 第55-62页 |
| ·本章小结 | 第62-64页 |
| 第5章 协议的实现及试验分析 | 第64-72页 |
| ·试验方法与环境 | 第64页 |
| ·攻击试验及其分析 | 第64-70页 |
| ·本章小结 | 第70-72页 |
| 结论 | 第72-74页 |
| 参考文献 | 第74-79页 |
| 攻读硕士学位期间承担的科研任务与主要成果 | 第79-80页 |
| 致谢 | 第80-81页 |
| 作者简介 | 第81页 |