symbol model evolution 符号模型演变
Symbol Model Verification 符号模型检验
symbol model verify 符号模型检验
symbol model checker 符号模型检测
universal map symbol model 通用符号模型
model symbol [自] 模型符号
symbol object model 符号对象模型
symbol logical model 符号逻辑模型
symbol-network model 网络模型
This result shows that it is effective analyzing and checking the property of network protocols by symbol model checker.
结果表明，利用符号模型检验方法分析检验网络协议是可行的。
This result shows that it is effective to analyse and check the new property of E-commerce protocols by symbol model checker.
结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。
Results show that the method using symbol model checker can discover replay attacks upon some cryptographic protocols and is effective.
结果表明，利用符号模型检测方法分析并发现密码协议重放攻击的漏洞是一种行之有效的方法。
应用推荐