%0 Journal Article
%T 模型检测中可变攻击者模型的构造
%A 杨元原
%A 马文平
%A 刘维博
%J 北京邮电大学学报
%P 54-57
%D 2011
%R 10.13190/jbupt.201102.54.yangyy
%X 提出了一个可变攻击者模型构造方案.该方案通过定义抽象项的概念及其运算规则，大大降低了攻击者进行代数运算的复杂度.定义了攻击者行为库和攻击规则选择算法，使检测者能根据不同的协议构造不同的攻击者模型.由于攻击者行为可任意组合，故实现了攻击者模型的可变性.可变攻击者模型保证了模型检测工具对协议分析的效率和准确性.
%K 安全协议
%K 攻击者模型
%K 代数运算
%K 重写规则
%U http://www.buptjournal.cn/CN/abstract/abstract1002.shtml