·2,447,543篇论文数据，部分数据来源于NoteExpress
Strand Space Model (SSM) is a practical, intuitive and strict formal method for security protocol analysis.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
youdao
应用推荐
模块上移
模块下移
不移动