随着网络应用的迅速发展，网络安全问题日益重要。安全协议是构建网络安全环境的基石，是网络安全通信系统的核心技术，它的正确性和安全性对整个网络环境的安全起着至关重要的作用。安全协议的设计和分析已经成为近年来国际上在网络安全和信息安全领域最活跃的研究方向之一。 本文主要对基于口令的安全协议、电子支付协议和射频识别(RFID)系统安全协议这三类有代表性的新型安全协议进行了研究，主要包括下列内容： 1．基于串空间模型，对攻击者串进行了扩展，以便分析安全协议中的口令猜测攻击。 2．在通用可组合模型下，定义了一个三方口令认证密钥交换理想函数，构造了一个实现该理想函数的三方口令认证密钥交换协议。 3．公平性是电子支付协议的一个基本属性。基于通用可组合模型，定义了公平电子支付理想函数。构造了一个实现公平电子支付理想函数的公平电子支付协议。 4．针对RFID系统的特殊需求，在通用可组合模型下，设计了一个低成本的RFID匿名认证协议。通过对近年来提出的符合EPCGen2标准的RFID协议的安全性分析，提出了符合EPCGen2标准的RFID认证协议的设计原则。提出了一个基于伪随机函数原语实现的供应链环境下安全的RFID通信协议。 5．对串空间模型进行扩展，使其能够用来分析标签的不可追踪性。