无线射频识别(radio frequency identification，RFID)技术是从上世纪八十年代兴起的一项非接触式自动识别技术。RFID技术目前已经得到广泛的应用，但其安全机制还不够完善。　　 本文描述了RFID系统的基本组成、工作原理以及RFID系统的通信模型。分析了RFID系统存在的安全隐患和隐私问题，相对形式化的描述了RFID系统的安全需求。进而对现有的相关安全协议进行对比，分析和总结，指出了相关协议的优点与不足之处，在此基础之上针对不同的应用环境设计了一个静态ID机制的认证协议，和一个能实现所有权转移的动态ID机制的RFID安全协议，并用GNY逻辑进行了形式化分析和证明。然后从协议的安全性和执行性能两方面对两种RFID安全协议进行了详细的分析，并和现有的相关协议做了对比，指出本文协议具有的相关优势。最后，总结了本文的主要贡献并给出了进一步的研究方向。