Based on the extended strand space model, Feldhofer protocol and O′-FRAP protocol were analyzed.
基于扩展的串空间模型,对Feldhofer协议和O′-FRAP协议进行了分析。
参考来源 - 几类安全协议的研究与设计·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.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
Having fully absorbed the former researching results, strand space model become a practical, intuitive and strict method for security protocols analysis.
串空间模型吸收了前人的研究成果，是分析安全协议的一种实用、直观和严格的形式化方法。
应用推荐