随着网络的飞速发展,使得电子商务成为了大众广泛接受的一种商贸模式。电子商务安全协议作为切实保证交易双方信息数据安全,维护双方切身利益的关键因素,其重要性不言而喻。越来越多的密码技术也因此被广泛的应用到电子商务安全协议之中,然而各种针对安全协议的攻击技术也不断的出现,这就对电子商务安全协议的分析提出了更高的要求。形式化方法是一种行之有效的安全协议分析方法,其中串空间模型及其相关理论的出现大大推动了安全协议的形式化分析研究。本文首先分析了电子商务安全协议以及它在电子商务中所起到的至关重要的作用,接着介绍了串空间模型及其认证测试方法,针对基于丰富密码学的电子商务安全协议,原始的串空间模型无法就密码学中更复杂的一些操作,如签名运算、DH计算和散列函数等作出分析和描述,因此,本文先形式化定义了签名运算、DH计算和散列函数,通过扩展消息项、子项关系和入侵者模型,相应扩展了串空间模型。在此基础上又相应扩展了认证测试方法,包括输入测试、输出测试以及自发测试的扩展,提出了一种基于丰富密码学的认证测试方法的扩展。最后分析了在电子商务安全协议中,有着丰富密码学原语消息结构的SSL3.0和TLS1.0握手协议,验证了协议的认证属性。通过具体的实例分析进一步证明了扩展的串空间模型及其认证测试方法的正确性。本文扩展了串空间模型及其认证测试方法,增强了其对丰富密码学中一些复杂操作的分析和描述能力。实例证明了扩展后的模型和方法能够更精确地分析和描述电子商务安全协议的安全性,并能够应用于更广泛的领域。