一种基于攻击序列求解的安全协议验证新算法

摘要：

基于完美加密机制前提及D-Y攻击者模型,指出注入攻击是协议攻击者实现攻击目标的必要手段.分析了注入攻击及其形成的攻击序列的性质,并基于此提出了搜索攻击序列的算法,基于该算法实现了对安全协议的验证.提出和证明了该方法对于规则安全协议的搜索是可终止的,并通过实验实现了NS公钥协议的验证.实验结果表明,与OFMC等同类安全协议验证工具相比,该算法不仅能实现安全协议验证自动化,而且由于规则安全协议验证的可终止性,使得本算法更具实用性.

关键词：安全协议验证、攻击序列求解、自动化

所属期刊栏目：37

分类号：TP393.08(计算技术、计算机技术)

资助基金：国家自然科学基金60503021,60721002,60875038;江苏省高新技术计划BG2007038

在线出版日期：2010-11-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：32-35,53