形式化分析
基于1个网页-相关网页
formal analysis method
形式分析法
以上为机器翻译结果，长、整句建议使用 人工翻译 。
Security protocol is a very important role in securing network communication, and the formal analysis method for security protocol becomes one of the hottest research topics in security field.
保障网络通信安全的一个极其重要的环节是安全协议，安全协议的形式化分析方法已成为近年来安全领域研究的热点之一。
youdao
应用推荐
模块上移
模块下移
不移动