Strand space theory is a method for stating and proving correctness properties for cryptographic protocols.
串空间理论是一种新兴的用于密码协议形式化分析的方法。
Strand Space Model (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.
文章基于串空间模型,扩展了认证测试方法,使之能够描述和分析电子商务协议。
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.
串空间模型是安全协议分析的一种重要工具,它具有良好的语义,但其分析过程难度较大。
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;
分析了在描述公平协议时,串空间模型需要进行的几个扩展,包括:描述协议步骤在什么情况可以执行的扩展;
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.
本文扩展了串空间模型及其认证测试方法,增强了其对丰富密码学中一些复杂操作的分析和描述能力。
The design continues to follow the river regional geological pattern character to mold public space of strand water special feature that regards the love as the subject.
设计延续沿河地区的地脉特征塑造以爱情为主题的滨水特色公共空间。
Strand-space theory based on vicious-attack-software mechanism is extended.
基于恶意攻击软件的工作原理对串空间理论进行了扩展;
Strand-space theory based on vicious-attack-software mechanism is extended.
基于恶意攻击软件的工作原理对串空间理论进行了扩展;
应用推荐