... space-filling model 空间填充模型 ; 空间结构模型 ; 空间充满模型 Strand Space Model 串空间模型 Resource Space Model 资源空间模型 ...
基于12个网页-相关网页
Generalized strand space model 广义串空间模型
Based on the extended strand space model, Feldhofer protocol and O′-FRAP protocol were analyzed.
基于扩展的串空间模型,对Feldhofer协议和O′-FRAP协议进行了分析。
参考来源 - 几类安全协议的研究与设计·2,447,543篇论文数据，部分数据来源于NoteExpress
Having fully absorbed the former researching results, strand space model become a practical, intuitive and strict method for security protocols analysis.
串空间模型吸收了前人的研究成果，是分析安全协议的一种实用、直观和严格的形式化方法。
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.
串空间模型是安全协议分析的一种重要工具，它具有良好的语义，但其分析过程难度较大。
Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.
串空间模型是一种新兴的密码协议形式化分析工具。
应用推荐