在分析高级随机包标记算法(AMS)的基础上，提出了一种基于反向确认的攻击源追踪模型，该模型不再需要AMS过强的假设前提。
On the basis of analysis about advanced marking scheme (AMS), a reverse-validation IP traceback scheme is proposed, which no longer requires the too strong assumption of AMS.
结果表明，利用符号模型检测方法分析并发现密码协议重放攻击的漏洞是一种行之有效的方法。
Results show that the method using symbol model checker can discover replay attacks upon some cryptographic protocols and is effective.
扩展的诚实理想分析模型不仅继承了原理论的有关性质，而且适应猜测攻击的分析。
The extended honest ideal model not only inherits its original characters, but also is adaptive for the analysis of guessing attack.
应用推荐