通信与网络中的RFID协议的安全模型及安全性

密码协议的安全性分析和证明长期以来一直是信息安全研究的热点和难点问题,从事计算机科学和密码学研究的人员对此进行了不懈的研究,也取得了较为丰硕的研究成果:但是,时至今日,这个问题仍然没有很好地解决。密码协议和其他协议不同,人们也许永远无法知道攻击者下一步将采取什么样的攻击手段,有时甚至恰恰就是在那些被认为相当安全的细节出现了微妙的漏洞,要知道即便这样一个微小的漏洞或缺陷有时对于一个聪明的攻击者来说已经足够。也许,这也正是密码协议安全设计和分析的魅力所在。 证明密码协议的正确性与安全性的理论和方法通常可以分为两大类:形式化方法和计算复杂性方法。形式化方法可使协议设计者通过系统分析将注意力专注