模型检测中可变攻击者模型的构造

摘要：

提出了一个可变攻击者模型构造方案.该方案通过定义抽象项的概念及其运算规则,大大降低了攻击者进行代数运算的复杂度.定义了攻击者行为库和攻击规则选择算法,使检测者能根据不同的协议构造不同的攻击者模型.由于攻击者行为可任意组合,故实现了攻击者模型的可变性.可变攻击者模型保证了模型检测工具对协议分析的效率和准确性.

关键词：安全协议、攻击者模型、代数运算、重写规则

所属期刊栏目：34

分类号：TP398(计算技术、计算机技术)

资助基金：国家自然科学基金项目61072140;高等学校创新引智计划项目B08038;高等学校博士学科点专项科研基金项目20100203110003

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

页数：共4页

页码：54-57