running-mode analysis
运行模式分析法
基于1个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
在两方密码协议运行模式分析法的基础上，利用模型检测的理论结果，提出了三方密码协议运行模式分析法。
Based on the model checking theory, we derive the running mode analysis method of three party cryptographic protocols from the running mode analysis method of two party cryptographic protocols.
youdao
应用推荐
模块上移
模块下移
不移动