·2,447,543篇论文数据，部分数据来源于NoteExpress
Protocol analyser can analyse security protocol by the logic, and protocol designer can construct security protocol by the logic in a systematic way.
协议分析者可以用该逻辑来对安全协议进行分析，而协议设计者可以使用该逻辑用一种系统的方法来构造安全协议。
youdao
应用推荐
模块上移
模块下移
不移动