·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.
形式化分析、例证和实验结果表明GKCP 的正确性和可行性。
The formalization analysis, exemplification and experimentation result prove that GKCP is correct and feasible.
应用推荐