一种动态ID机制的RFID安全协议汇.pdf

摘要 一种动态ID机制的I江ID安全协议 专 业：计算机软件与理论 硕士生：罗序斌 指导教师：龙冬阳教授 摘 要 无线射频识别(radio frequency 八十年代兴起的一项非接触式自动识别技术。RFID技术目前已经得到广泛的应 用，但其安全机制还不够完善。 本文描述了RFID系统的基本组成、工作原理以及RFID系统的通信模型。分 析了RFID系统存在的安全隐患和隐私问题，相对形式化的描述了RFID系统的安 全需求。进而对现有的相关安全协议进行对比，分析和总结，指出了相关协议的 优点与不足之处，在此基础之上针对不同的应用环境设计了一个静态ID机制的认 证协议，和一个能实现所有权转移的动态ID机制的RFID安全协议，并用GNY逻 辑进行了形式化分析和证明。然后从协议的安全性和执行性能两方面对两种 RFID安全协议进行了详细的分析，并和现有的相关协议做了对比，指出本文协 议具有的相关优势。最后，总结了本文的主要贡献并给出了进一步的研究方向。 关键词：射频识别，安全协议，Hash函数，GNY逻辑 Abstract ARFIDSecureProtocolBasedOn ID Dynamic Mechanism Softwareand Major：Computer Theory Name： XubinLuo Supervisor：Prof．DongyangLong Abstract Radio is anuntouched frequencyidentification(RFID)technology whichhadbeenraisedin80’Slast auto—identification RFID technology century．Now in isusedlotfacetsof manufactureand its life，but technology industry everyday mechanismisnot security perfect． This describesthebasic blocksofRFID paper building system，theworking aswellasitscommunication the RFID principle model，analysesexistingsystem’S riskand also a formal