... 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
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.
串空间模型吸收了前人的研究成果,是分析安全协议的一种实用、直观和严格的形式化方法。
应用推荐