所属单位：计算机科学与数学学院

发表刊物：福建工程学院学报

项目来源：其他课题

关键字：安全协议; 形式化; DY模型; 攻击者; Otway-Rees协议

摘要：：攻击者建模是安全协议验证工作的一个重要部分，直接影响到验证的效率与质量，但目前却还没有一个可遵循的形式化框架，影响了建模工作的准确性与客观性。针对这一问题，通过对在安全协议验证中具有广泛影响的DY模型进行形式化，建立了一个DY模型的构建框架，刻画了攻击者的构成要素、行为规则以及行为模式，从而保证了攻击者具有合理的行为与能力，并能在攻击过程中获取新的知识，不断增强攻击能力。最后，将该工作运用到Otway-Rees协议的验证中，找出了该协议中所存在的漏洞，从而证明了该构建框架的有效性。

备注：20151203信息学院审核通过

论文类型：期刊论文

论文编号：7427

卷号：13

期号：3

页面范围：239-243

ISSN号：1672-4348

是否译文：否

CN号：35-1267/Z

发表时间：2015-06-01