一种新的密码协议攻击分类及形式化描述方法
对密码协议攻击进行有效的分类及形式化描述有助于密码协议的形式化分析.本文根据攻击的形式化描述需要,在研究入侵者攻击的动作特点的基础上,给出了一种基于入侵者行为的攻击分类方法.根据这种分类,提出一种对攻击进行形式化描述及分析的攻击模式法,并以实例说明了这种方法对分析密码协议潜在攻击的有效性.
密码协议 攻击模式 形式化方法
张智慧 刘怡文 李金汉
解放军信息工程大学电子技术学院 总参信息分析中心
国内会议
内蒙古呼伦贝尔
中文
252-260
2002-08-01（万方平台首次上网日期，不代表论文的发表时间）