安全协议自动化检测中的攻击者模型构建方法

摘要

本发明提供了一种安全协议自动化检测中的攻击者模型构建方法，它属于网络安全技术领域。其构造过程是：将攻击者的所有攻击行为描述成相应的重写规则，并进行有序的编号；将这些有编号的重写规则存入到攻击者重写规则集合库中；检测者根据待检测协议的应用环境及协议使用的密码算法，将相应的模型标识输入，该标识对应了攻击者重写规则编号；通过这些重写规则编号，从攻击者重写规则集合库中选取相应的重写规则，得到攻击者重写规则集合；将被选的这些重写规则输出，得到攻击者模型。本发明能够对原始的D-Y攻击者模型，无线信道攻击者模型和安全信道攻击者模型进行扩展，构造新的攻击者模型，适用于有线网络、无线网络及安全网络中各种协议的安全性分析。