There are two important events in the history of strand spaces, one is authentication tests proposed by Joshua D. Guttman, the other is Athena which is a new efficient automated approach for security protocol proposed by D. Song.
串空间理论发展过程中有两个重要事件:其一是Guttman提出的串空间模型认证测试方法;其二是Song在串空间模型上提出的Athena方法。
参考来源 - 基于串空间的安全协议Athena分析方法的研究However, the strand space model was only applied to the analysis of authentication protocols when first proposed and rarely concerning e-commerce protocols.
但是串空间模型最初提出来只限于对认证协议的分析,很少涉及电子商务协议。
参考来源 - 基于串空间理论的电子商务协议安全性研究·2,447,543篇论文数据，部分数据来源于NoteExpress
串空间模型是一种新兴的密码协议形式化分析工具。
Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
Strand Space Model (SSM) is a practical, intuitive and strict formal method for security protocol analysis.
事实证明，串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
In facts SSM is a practical, intuitive and strict formal method for security protocol analysis.
应用推荐