计算机网络防御策略的转换一致性验证方法

摘要

计算机网络防御(CND)策略的转换一致性验证方法，步骤为：(1)首先进行策略预处理：对输入的策略描述文件和拓扑描述文件，利用lex/yacc工具生成的词法解析器和语法解析器对其进行解析，得到对于每一类动作处理的数据包范围。对相应的主体、客体进行精确化；(2)再进行措施预处理：对输入的措施描述文件，利用lex/yacc工具生成的词法解析器和语法解析器对其进行解析，确定设备所管理的保护域，然后剔除掉无关的配置规则，并将其规定的动作所处理的数据包范围提取出来；(3)将各类动作的数据包范围表达成逻辑表达式，并对应到相应的安全设备上。利用命题逻辑可满足性判定工具Yices进行求解，遍历所有的数据包范围，得到措施是否存在冗余或缺失。