Strand Space Model 串空间模型 ; strand空间模型 ; 线索空间模型
strand space theory 串空间理论
strand space mode 串空间模型
Generalized strand space model 广义串空间模型
space steel strand 空间钢束
The strand space theory proves the security of protocol.
基于串空间理论对协议的安全性进行了证明。
参考来源 - 无结构P2P网络的信任数据安全传输协议·2,447,543篇论文数据,部分数据来源于NoteExpress
Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.
串空间模型是一种新兴的密码协议形式化分析工具。
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.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
应用推荐