论文部分内容阅读
对密码协议模型检测的方法作了理论上的研究,并用SMV检测工具给出了一个实际分析的例子。结果表明,利用符号模型检测方法分析并发现密码协议重放攻击的漏洞是一种行之有效的方法。
密码协议的符号模型检测及分析
【摘 要】
：
对密码协议模型检测的方法作了理论上的研究,并用SMV检测工具给出了一个实际分析的例子。结果表明,利用符号模型检测方法分析并发现密码协议重放攻击的漏洞是一种行之有效的方法。
【机 构】
：
贵州大学
【出 处】
：
计算机应用
【发表日期】
：
2005年01期
其他文献
跳远助跑的准确性直接决定着运动员试跳的成绩,本文从准确助跑的三个步骤和影响助跑准确性的心理因素进行了分析,提出了解决助跑准确性这一问题的具体方法和途径.
以元胞自动机模型为微观模型,以CS模型为指导构建二维的大规模交通网络,利用多线程机制实现了整个模拟系统的高速运行。具体的模拟实验显示:该模拟系统完全可以满足实时模拟的需要,对于包含400个十字路口的交通网络,模拟系统每更新一次所需要的时间小于1s。