面向低成本标签的RFID认证协议的研究
| 致谢 | 第4-5页 |
| 摘要 | 第5-7页 |
| Abstract | 第7-8页 |
| Extended Abstract | 第9-19页 |
| 1 绪论 | 第19-29页 |
| 1.1 背景和意义 | 第19-20页 |
| 1.2 国内外研究现状 | 第20-26页 |
| 1.3 研究内容、框架 | 第26-28页 |
| 1.4 论文结构 | 第28-29页 |
| 2 RFID协议理论基础 | 第29-39页 |
| 2.1 面向低成本标签RFID协议的分类以及标准 | 第29页 |
| 2.2 形式化编码方法分析RFID协议的原理 | 第29-30页 |
| 2.3 Vaudenay安全模型 | 第30-33页 |
| 2.4 所有权转移协议的安全模型 | 第33-38页 |
| 2.5 本章小结 | 第38-39页 |
| 3 轻量级RFID协议的不可分辨性分析 | 第39-49页 |
| 3.1 不可分辨性理论 | 第39-40页 |
| 3.2 RFID协议的可扩展性 | 第40页 |
| 3.3 密码分析EOHLCAP协议 | 第40-43页 |
| 3.4 密码分析EMAP和EMAP+协议 | 第43-47页 |
| 3.5 本章小结 | 第47-49页 |
| 4 RFID认证协议的不可追踪性分析 | 第49-77页 |
| 4.1 不可追踪模型 | 第49-51页 |
| 4.2 密码分析和改进NRS+协议 | 第51-56页 |
| 4.3 密码分析和改进ACSP+协议 | 第56-63页 |
| 4.4 满足强前向不可追踪性的所有权转移协议 | 第63-76页 |
| 4.5 本章小结 | 第76-77页 |
| 5 超轻量级和轻量级RFID协议的形式化编码方法 | 第77-93页 |
| 5.1 X+Y Mod 2n的代数表达式 | 第78-83页 |
| 5.2 形式化编码方法分析OTSUMR协议 | 第83-90页 |
| 5.3 形式化编码方法分析EMAP协议 | 第90-92页 |
| 5.4 本章小结 | 第92-93页 |
| 6 物联网环境下可扩展的RFID框架与协议 | 第93-112页 |
| 6.1 安全协议构架的系统模型 | 第94-99页 |
| 6.2 相互认证SRSFP协议 | 第99-102页 |
| 6.3 密码分析SRSFP协议 | 第102-106页 |
| 6.4 提出新SRSFP+协议 | 第106-111页 |
| 6.5 本章小结 | 第111-112页 |
| 7 总结与展望 | 第112-115页 |
| 7.1 总结 | 第112-113页 |
| 7.2 未来研究展望 | 第113-115页 |
| 参考文献 | 第115-129页 |
| 作者简历 | 第129-132页 |
| 学位论文数据集 | 第132页 |
