安全协议攻击序列重构技术
攻击者攻击序列在安全协议形式化分析技术中用于描述攻击者对安全漏洞的攻击步骤.目前,攻击序列重构技术是安全协议形式化分析研究的热点与难点.对国际流行的方法进行了介绍和总结,重点分析和比较了基于模型检测的方法、基于定理证明的方法、基于逻辑程序的方法等能够进行攻击序列重构的各种方法,指出了各自的优缺点及技术手段、技术特点,最后给出了该领域的进一步研究方向.
安全协议、形式化分析、攻击序列重构、模型检测、定理证明、逻辑程序
29
TP309(计算技术、计算机技术)
2008-09-01(万方平台首次上网日期,不代表论文的发表时间)
共4页
3368-3371