Protocol analyser can analyse security protocol by the logic, and protocol designer can construct security protocol by the logic in a systematic way.
协议分析者可以用该逻辑来对安全协议进行分析，而协议设计者可以使用该逻辑用一种系统的方法来构造安全协议。
Protocol analyser can analyse security protocol by the logic, and protocol designer can construct security protocol by the logic in a systematic way.
协议分析者可以用该逻辑来对安全协议进行分析，而协议设计者可以使用该逻辑用一种系统的方法来构造安全协议。
应用推荐