串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
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.
文章基于串空间模型，扩展了认证测试方法，使之能够描述和分析电子商务协议。
Based on strand space, we extend the authentication tests method. Using this method, E-commerce protocol can be described and analyzed.
串空间模型是安全协议分析的一种重要工具，它具有良好的语义，但其分析过程难度较大。
The strand space model is a very important tool of analyzing security protocol, and it has good semantics, but it is difficult to analyze security protocol.
串空间模型吸收了前人的研究成果，是分析安全协议的一种实用、直观和严格的形式化方法。
Having fully absorbed the former researching results, strand space model become a practical, intuitive and strict method for security protocols analysis.
本文扩展了串空间模型及其认证测试方法，增强了其对丰富密码学中一些复杂操作的分析和描述能力。
This dissertation extends the strand space model and its authentication test, which can enhance the analyses and description of some cryptographic primitives rich in cryptographic primitives.
分析了在描述公平协议时，串空间模型需要进行的几个扩展，包括：描述协议步骤在什么情况可以执行的扩展；
Some extension of strand space model are needed to analyse fair protocol including:the extension to specify in what condition the protocol steps are ready to be executed;
针对向量空间模型在文档相似度量方面的局限，提出了基于计算公共子串的文档相似度量算法。
In respect to the limitation of document similarity measuring based on VSM, this paper put forward an algorithm based on public substring of strings.
针对向量空间模型在文档相似度量方面的局限，提出了基于计算公共子串的文档相似度量算法。
In respect to the limitation of document similarity measuring based on VSM, this paper put forward an algorithm based on public substring of strings.
应用推荐