点击次数：
所属单位：计算机科学与数学学院
发表刊物：福建工程学院学报
项目来源：其他课题
关键字：安全协议; 形式化; DY模型; 攻击者; Otway-Rees协议
摘要：：攻击者建模是安全协议验证工作的一个重要部分，直接影响到验证的效率与质量，但目前却还没有一个可遵循的形式化框架，影响了建模工作的准确性与客观性。针对这一问题，通过对在安全协议验证中具有广泛影响的DY模型进行形式化，建立了一个DY模型的构建框架，刻画了攻击者的构成要素、行为规则以及行为模式，从而保证了攻击者具有合理的行为与能力，并能在攻击过程中获取新的知识，不断增强攻击能力。最后，将该工作运用到Otway-Rees协议的验证中，找出了该协议中所存在的漏洞，从而证明了该构建框架的有效性。
备注：20151203信息学院审核通过
论文类型：期刊论文
论文编号：7427
卷号：13
期号：3
页面范围：239-243
ISSN号：1672-4348
是否译文：否
CN号：35-1267/Z
发表时间：2015-06-01