类型系统是一种设计和研究程序设计语言的形式化方法和工具。

The type system is a formal method and tool for designing and studying programming languages.

youdao

一些研究人员在密码协议分析中引入形式化方法，通过建立形式模型和自动检测工具分析密码协议的安全性，取得了较大的成功。

Some researchers introduced formal methods for analyzing cryptographic protocols, and achieved many significant results by building formal models and automatic verifying tools.

youdao

一些研究人员在密码协议分析中引入形式化方法，通过建立形式模型和自动检测工具分析密码协议的安全性，取得了较大的成功。

Some researchers introduced formal methods for analyzing cryptographic protocols, and achieved many significant results by building formal models and automatic verifying tools.

youdao