【摘要】目前,大量的安全协议已经被设计出来,如何验证这些协议是否满足声称的安全性是协议设计与分析的一个重要研究领域。为了验证和分析协议的安全性,密码学家提出了不同的基于符号的形式化方法,如模态逻辑,模型检测逻辑,定理证明逻辑。然而大多数形式化方法都集中在协议的认证性和机密性的分析上,且这些方面的研究已经很成熟,而其他安全属性,如匿名性的形式化分析还处在起步阶段。为了进一步完善安全协议形式化分析理论 […]

【摘要】随着物联网的迅猛发展，物联网的安全逐渐吸引了越来越多的关注。RFID作为物联网新兴的自动识别技术，比传统的条码具有明显的优势，已经成为物联网感知层的主要技术之一。由于RFID读写器与标签之间是在开放的无线环境下进行通信，因此很容易遭受各种攻击。又由于标签的资源极其有限，不能支持公钥密码算法，因此RFID的安全需求具有一定程度的特殊性。根据物联网安全框架对RFID提出的安全需求，RFID的安 […]