... Engineering secure software(工程安全软件) Formal Methods and Tools(形式化方法和工具) Healthcare Engineering(医疗工程) ...
基于8个网页-相关网页
类型系统是一种设计和研究程序设计语言的形式化方法和工具。
The type system is a formal method and tool for designing and studying programming languages.
一些研究人员在密码协议分析中引入形式化方法，通过建立形式模型和自动检测工具分析密码协议的安全性，取得了较大的成功。
Some researchers introduced formal methods for analyzing cryptographic protocols, and achieved many significant results by building formal models and automatic verifying tools.
应用推荐