论文部分内容阅读
对密码协议攻击进行有效的分类及形式化描述有助于密码协议的形式化分析.本文根据攻击的形式化描述需要,在研究入侵者攻击的动作特点的基础上,给出了一种基于入侵者行为的攻击分类方法.根据这种分类,提出一种对攻击进行形式化描述及分析的攻击模式法,并以实例说明了这种方法对分析密码协议潜在攻击的有效性.