面向RFID的隐私安全性研究与协议设计
| 摘要 | 第4-5页 |
| ABSTRACT | 第5-6页 |
| 目录 | 第7-9页 |
| 第一章 绪论 | 第9-13页 |
| 1.1 研究背景及意义 | 第9-10页 |
| 1.2 国内外研究现状 | 第10-12页 |
| 1.3 论文章节安排 | 第12-13页 |
| 第二章 RFID系统的隐私安全 | 第13-36页 |
| 2.1 RFID系统概述 | 第13-19页 |
| 2.1.1 系统结构 | 第13-17页 |
| 2.1.2 RFID工作原理 | 第17-18页 |
| 2.1.3 RFID系统通讯模型 | 第18-19页 |
| 2.2 RFID系统中的安全与隐私问题 | 第19-21页 |
| 2.2.1 数据安全威胁 | 第19页 |
| 2.2.2 通信链路威胁 | 第19-21页 |
| 2.2.3 标签碰撞威胁 | 第21页 |
| 2.3 现有RFID应用的隐私安全机制 | 第21-35页 |
| 2.3.1 物理安全 | 第22-24页 |
| 2.3.2 协议安全 | 第24-35页 |
| 2.4 小结 | 第35-36页 |
| 第三章 攻击分层和协议去同步化 | 第36-48页 |
| 3.1 攻击行为的层次划分 | 第36-43页 |
| 3.1.1 物理层 | 第36-38页 |
| 3.1.2 网络传输层 | 第38-39页 |
| 3.1.3 应用层 | 第39-40页 |
| 3.1.4 策略层 | 第40-41页 |
| 3.1.5 多层攻击 | 第41-43页 |
| 3.2 新型去同步化攻击 | 第43-47页 |
| 3.2.1 文献21中基于Hash函数的认证协议 | 第44-45页 |
| 3.2.2 RFID协议的组合型去同步化 | 第45-47页 |
| 3.3 小结 | 第47-48页 |
| 第四章 抗去同步化的轻量级认证协议 | 第48-54页 |
| 4.1 设计思路 | 第48页 |
| 4.2 协议初始条件 | 第48-49页 |
| 4.3 协议执行过程 | 第49-50页 |
| 4.3.1 认证阶段 | 第49-50页 |
| 4.3.2 更新阶段 | 第50页 |
| 4.4 安全性分析 | 第50-52页 |
| 4.5 效率分析 | 第52-53页 |
| 4.5.1 Mixbits与Hash的效率比较 | 第52页 |
| 4.5.2 协议性能 | 第52-53页 |
| 4.6 小结 | 第53-54页 |
| 第五章 基于有色Petri网的形式化分析 | 第54-65页 |
| 5.1 安全协议的形式化分析方法 | 第54-55页 |
| 5.2 ADMA协议的CPN模型 | 第55-57页 |
| 5.2.1 CPN建模元素 | 第55-56页 |
| 5.2.2 ADMA协议的状态转移流程 | 第56-57页 |
| 5.3 状态转移矩阵的可达性分析 | 第57-58页 |
| 5.4 CPN tools模拟去同步化攻击 | 第58-64页 |
| 5.4.1 攻击策略模型 | 第58-60页 |
| 5.4.2 ADMA协议的去同步化 | 第60-64页 |
| 5.5 小结 | 第64-65页 |
| 第六章 总结与展望 | 第65-66页 |
| 参考文献 | 第66-70页 |
| 致谢 | 第70-71页 |
| 攻读学位期间发表的学术论文目录 | 第71页 |
