本设计的实现不但为其理论研究提供了一种手段，而且为密码分析提供了实践上的应用，既可以进行破译分析也可以作为一个密码分析的(辅助)工具。
Realizing this design provide not only one way for studying in theory. but also application for cryptanalysis in practice, it can analyse cipher and be regarded as a (assistant) tool of cryptanalysis.
串空间模型是一种新兴的密码协议形式化分析工具。
Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.
一些研究人员在密码协议分析中引入形式化方法，通过建立形式模型和自动检测工具分析密码协议的安全性，取得了较大的成功。
Some researchers introduced formal methods for analyzing cryptographic protocols, and achieved many significant results by building formal models and automatic verifying tools.
一些研究人员在密码协议分析中引入形式化方法，通过建立形式模型和自动检测工具分析密码协议的安全性，取得了较大的成功。
Some researchers introduced formal methods for analyzing cryptographic protocols, and achieved many significant results by building formal models and automatic verifying tools.
应用推荐