重放攻击检测
Replay attack detection
以上为机器翻译结果，长、整句建议使用 人工翻译 。
结果表明，利用符号模型检测方法分析并发现密码协议重放攻击的漏洞是一种行之有效的方法。
Results show that the method using symbol model checker can discover replay attacks upon some cryptographic protocols and is effective.
youdao
应用推荐
模块上移
模块下移
不移动