论文部分内容阅读
随着网络应用的迅速发展,网络安全问题日益重要。安全协议是构建网络安全环境的基石,是网络安全通信系统的核心技术,它的正确性和安全性对整个网络环境的安全起着至关重要的作用。安全协议的设计和分析已经成为近年来国际上在网络安全和信息安全领域最活跃的研究方向之一。由于时间和篇幅有限,本文主要对基于口令的安全协议、电子支付协议和射频识别(RFID)系统安全协议这三类有代表性的新型安全协议进行了研究,主要包括下列内容:1.基于串空间模型,对攻击者串进行了扩展,以便分析安全协议中的口令猜测攻击。为了抵御口令猜测攻击,在一个两方基于口令的安全协议中引人一类散列函数,对修改后的协议进行了形式化分析,证明能够有效抵御猜测攻击。2.在通用可组合模型下,定义了一个三方口令认证密钥交换理想函数,然后在两方口令认证密钥交换理想函数辅助的混合模型下,构造了一个实现该理想函数的三方口令认证密钥交换协议。设计的协议不仅是通用可组合安全的,并且结构简单。3.公平性是电子支付协议的一个基本属性。基于通用可组合模型,定义了公平电子支付理想函数。在可转化签名理想函数、注册理想函数和安全会话理想函数辅助的混合模型下,构造了一个实现公平电子支付理想函数的公平电子支付协议。新的协议结构简单,通信量较低。4.针对RFID系统的特殊需求,在通用可组合模型下,设计了一个低成本的RFID匿名认证协议,该协议的实现对于一般的RFID结构是切实可行的。通过对近年来提出的符合EPCGen2标准的RFID协议的安全性分析,提出了符合EPCGen2标准的RFID认证协议的设计原则,并设计了一个新的符合EPCGen2标准的RFID认证协议。对RFID搜索协议的安全需求进行了分析,设计了一个不需要后端数据库参与的低成本RFID搜索协议。分析了供应链环境下RFID通信协议应该满足的安全需求,提出了一个基于伪随机函数原语实现的供应链环境下安全的RFID通信协议,该协议具有较高的效率,标签端的计算负荷和存储成本较低。5.对串空间模型进行扩展,使其能够用来分析标签的不可追踪性。基于扩展的串空间模型,对Feldhofer协议和O′-FRAP协议进行了分析。