security mutation analysis
安全突变分析
以上为机器翻译结果，长、整句建议使用 人工翻译 。
Considering the data flow description in protocol security testing, mutation analysis is introduced based on constructed type algebra, and a new protocol security testing method is proposed.
针对协议安全测试中数据流的描述问题，在构造类别代数的基础上引入变异分析，由此提出了一种协议安全测试方法。
youdao
应用推荐
模块上移
模块下移
不移动