The formal modeling for cryptographic protocols, namely security protocols, is the basis of their analysis and design.

密码协议分析与设计的基础是对其进行形式化建模。

youdao

Using formal method to analyze security protocol is a valid method to the analysis of security protocols. In recent years, a lot of formal methods appeared.

采用形式化方法分析安全协议是协议分析的有效手段，近年来，出现了众多的研究方法。

youdao

Using formal method to analyze security protocol is a valid method to the analysis of security protocols. In recent years, a lot of formal methods appeared.

采用形式化方法分析安全协议是协议分析的有效手段，近年来，出现了众多的研究方法。

youdao