| 作者简介 | 第3-4页 |
| 摘要 | 第4-6页 |
| ABSTRACT | 第6-8页 |
| 第一章 绪论 | 第12-22页 |
| 1.1 引言 | 第12-13页 |
| 1.2 物联网安全与 RFID 安全 | 第13-19页 |
| 1.2.1 物联网的基本概念 | 第13-14页 |
| 1.2.2 物联网的体系结构 | 第14-15页 |
| 1.2.3 物联网面临的安全威胁 | 第15-16页 |
| 1.2.4 物联网安全架构 | 第16-17页 |
| 1.2.5 RFID 安全在安全架构中的地位与作用 | 第17-19页 |
| 1.3 本文研究成果及组织结构 | 第19-22页 |
| 1.3.1 主要工作与研究成果 | 第19-20页 |
| 1.3.2 本文组织结构 | 第20-22页 |
| 第二章 RFID 及其密码系统 | 第22-34页 |
| 2.1 RFID 相关知识 | 第22-25页 |
| 2.1.1 RFID 系统的组成及原理 | 第22-23页 |
| 2.1.2 RFID 的优势及自身限制 | 第23-25页 |
| 2.1.3 RFID 系统的通信模型 | 第25页 |
| 2.2 RFID 物理层与链路层安全 | 第25-27页 |
| 2.2.1 差错控制 | 第26页 |
| 2.2.2 数据传输中的防冲突问题 | 第26-27页 |
| 2.3 RFID 密码系统 | 第27-32页 |
| 2.3.1 对称密码机制的算法 | 第28-29页 |
| 2.3.2 非对称机制的轻量级算法 | 第29-31页 |
| 2.3.3 非对称密码算法 | 第31-32页 |
| 2.4 小结 | 第32-34页 |
| 第三章 RFID 应用的安全性 | 第34-64页 |
| 3.1 引言 | 第34页 |
| 3.2 RFID 应用面临的安全威胁 | 第34-36页 |
| 3.3 RFID 系统的访问控制 | 第36-39页 |
| 3.3.1 物理机制的访问控制 | 第36-37页 |
| 3.3.2 密码机制的访问控制 | 第37-39页 |
| 3.4 RFID 系统的密钥管理 | 第39-50页 |
| 3.4.1 RFID 密钥管理概述 | 第39-41页 |
| 3.4.2 预共享密钥的生成 | 第41-42页 |
| 3.4.3 RFID 动态多级密钥管理方案 | 第42-44页 |
| 3.4.4 本文的动态多级密钥管理方案 | 第44-46页 |
| 3.4.5 本文方案的安全性与效率 | 第46-49页 |
| 3.4.6 本文方案的实际应用 | 第49-50页 |
| 3.5 RFID 系统的安全协议 | 第50-62页 |
| 3.5.1 安全协议概述 | 第50-51页 |
| 3.5.2 安全协议划分 | 第51-53页 |
| 3.5.3 RFID 协议安全性验证 | 第53-55页 |
| 3.5.4 RFID 安全协议形式化模型 | 第55-62页 |
| 3.6 小结 | 第62-64页 |
| 第四章 通用可组合安全的 RFID 匿名认证协议 | 第64-84页 |
| 4.1 引言 | 第64页 |
| 4.2 RFID 认证协议的安全需求 | 第64-65页 |
| 4.3 RFID 匿名认证协议 | 第65-68页 |
| 4.3.1 相关定义 | 第66页 |
| 4.3.2 协议过程描述 | 第66-67页 |
| 4.3.3 协议的安全缺陷 | 第67-68页 |
| 4.4 RFID 匿名认证协议的改进 | 第68-70页 |
| 4.4.1 改进后的协议过程 | 第68-69页 |
| 4.4.2 安全性分析 | 第69-70页 |
| 4.5 RFID 匿名认证理想函数 | 第70-72页 |
| 4.6 基于图灵机的仿真设计 | 第72-74页 |
| 4.6.1 虚拟攻击者 S 的构造 | 第72-73页 |
| 4.6.2 S 的仿真过程 | 第73页 |
| 4.6.3 新协议的 UC 安全性 | 第73-74页 |
| 4.7 软件模拟设计与验证 | 第74-82页 |
| 4.7.1 软件模拟的设想 | 第74-75页 |
| 4.7.2 理想函数的模拟 | 第75-76页 |
| 4.7.3 环境机 Z 的模拟 | 第76-77页 |
| 4.7.4 理想环境的模拟 | 第77-78页 |
| 4.7.5 真实环境的模拟 | 第78-80页 |
| 4.7.6 软件模拟结果 | 第80-82页 |
| 4.8 小结 | 第82-84页 |
| 第五章 EPCGEN2 标准的安全认证协议 | 第84-90页 |
| 5.1 引言 | 第84-85页 |
| 5.2 EPCGEN2 标准 RFID 认证协议的安全性 | 第85页 |
| 5.3 NEWGEN2 认证协议 | 第85-87页 |
| 5.3.1 协议过程描述 | 第85-86页 |
| 5.3.2 协议的安全性能 | 第86-87页 |
| 5.3.3 协议的安全隐患 | 第87页 |
| 5.4 NEWGEN2+认证协议 | 第87-89页 |
| 5.4.1 NewGen2+的过程描述 | 第87-88页 |
| 5.4.2 NewGen2+的效率与安全性分析 | 第88-89页 |
| 5.5 小结 | 第89-90页 |
| 第六章 RFID 安全搜索协议的设计与分析 | 第90-110页 |
| 6.1 引言 | 第90页 |
| 6.2 搜索协议的安全需求 | 第90-91页 |
| 6.3 搜索协议 SSP | 第91-97页 |
| 6.3.1 SSP 协议过程 | 第91-92页 |
| 6.3.2 SSP 协议的安全性能 | 第92-93页 |
| 6.3.3 SSP 协议的安全缺陷 | 第93-97页 |
| 6.4 防碰撞的 RFID 安全搜索协议 ACSSP | 第97-101页 |
| 6.4.1 ACSSP 协议过程描述 | 第97-98页 |
| 6.4.2 非目标标签响应概率的设计 | 第98-99页 |
| 6.4.3 两协议的安全性比较 | 第99-100页 |
| 6.4.4 两协议的效率比较 | 第100-101页 |
| 6.5 ACSSP 协议的防碰撞安全性 | 第101-106页 |
| 6.5.1 扩展的串空间模型 | 第101-102页 |
| 6.5.2 搜索协议的串空间模型 | 第102-105页 |
| 6.5.3 ACSSP 协议的防碰撞形式化证明 | 第105-106页 |
| 6.6 通用可组合安全的 ACSSP 协议 | 第106-109页 |
| 6.6.1 RFID 安全搜索协议理想函数 | 第106-108页 |
| 6.6.2 ACSSP 协议的 UC 安全证明 | 第108-109页 |
| 6.7 小结 | 第109-110页 |
| 第七章 协议去同步化攻击的形式化分析 | 第110-120页 |
| 7.1 引言 | 第110页 |
| 7.2 去同步化攻击的形式化描述 | 第110-112页 |
| 7.3 基于 HASH 函数 RFID 认证协议的去同步化攻击 | 第112-115页 |
| 7.3.1 协议描述 | 第112-113页 |
| 7.3.2 协议的去同步化安全模型 | 第113页 |
| 7.3.3 协议改进 | 第113-114页 |
| 7.3.4 新协议的去同步化安全模型 | 第114-115页 |
| 7.4 无需后端数据库 RFID 认证协议的去同步化攻击 | 第115-118页 |
| 7.4.1 协议描述 | 第115-116页 |
| 7.4.2 协议的去同步化安全模型 | 第116页 |
| 7.4.3 协议改进 | 第116-117页 |
| 7.4.4 新协议的去同步化安全模型 | 第117-118页 |
| 7.5 小结 | 第118-120页 |
| 第八章 总结与展望 | 第120-122页 |
| 致谢 | 第122-124页 |
| 参考文献 | 第124-134页 |
| 攻读博士学位期间的研究成果 | 第134-135页 |
| 学术论文 | 第134页 |
| 参加研究的课题项目 | 第134-135页 |
