提出了一个可变攻击者模型构造方案.该方案通过定义抽象项的概念及其运算规则,大大降低了攻击者进行代数运算的复杂度.定义了攻击者行为库和攻击规则选择算法,使检测者能根据不同的协议构造不同的攻击者模型.由于攻击者行为可任意组合,故实现了攻击者模型的可变性.可变攻击者模型保证了模型检测工具对协议分析的效率和准确性. This paper proposes a construction scheme of a variable attacker model which greatly reduces the complexity of the algebraic operations by defining the concept of abstract terms and its operation rules.The attacker behavior database and attack rule selection algorithm are defined so that the detection According to different protocols, different attackers can construct different attackers’models, because attackers can act arbitrarily, the variability of attackers’model is realized.The variable attacker model ensures the efficiency and accuracy of model checking tools’ analysis of protocol.