安全协议验证中DY模型的构建框架

发布时间：2018-06-04点击次数：

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