RFID(Radio Frequency Identification)技术是自动识别和数据采集技术的一种,为了在提高产量的同时降低成本,在商业信息化中RFID技术日益兴起,已逐渐深入到各个领域,如供应链管理代替条形码,飞机场、实验室门禁控制等等,未来会有成千上亿的RFID标签分布到各个位置。而RFID是一种无线射频识别技术,所以极易受到攻击,不容易发现远程工作和被动攻击。RFID系统是非常复杂的,安全级别又有很多,本文集中于RFID标签级的安全性问题研究。随着RFID技术的应用范围的不断扩大,数据安全和消费者隐私成为制约RFID技术发展的至关重要的原因。解决这两种RFID安全问题的机制有两种,一种是物理安全机制,另一种是基于密码技术的安全机制,本文中,主要研究第二种解决RFID安全问题的方法,首先研究了现有的常用安全协议,提出了适合低成本标签使用的安全协议,此协议是基于一位哈希函数的单方随机数认证协议。与其比较,本文的安全协议提高了RFID系统通信的安全性,随即给出安全协议的形式化分析。由于低成本RFID标签存在诸如存储空间有限,计算能力有限等客观因素的限制,阻碍了低成本RFID标签的发展。导致诸如安全性能要求高的应用无法使用此标签等等一系列问题,所以又提出了适合智能标签使用安全协议,此协议是基于强加密算法-AES加密算法的随机数认证协议,并给出java程序模拟验证、分析协议的抗攻击性,如监听攻击,拒绝服务攻击等。随着网络应用的深入,仅仅依赖成熟的加密算法,已经不能很好地解决信息的安全问题,它需要安全理论、安全措施和安全技术来保证。所以安全协议自身的安全性成了网络安全的关键问题之一,对安全协议自身安全性的形式化分析已逐渐成为信息安全研究领域中的一个热点,涌现出众多的研究方法,本文采用基BAN逻辑证明本文提出的协议的正确性。