Paper Publications

Hits:

Affiliation of Author(s):计算机科学与数学学院

Journal:福建工程学院学报

Funded by:其他课题

Key Words:安全协议; 形式化; DY模型; 攻击者; Otway-Rees协议

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

Note:20151203信息学院审核通过

Indexed by:Journal paper

Document Code:7427

Volume:13

Issue:3

Page Number:239-243

ISSN No.:1672-4348

Translation or Not:no

CN No.:35-1267/Z

Date of Publication:2015-06-01