一种基于逻辑编程的防火墙规则形式化分析方法.pdfVIP

信息工程大学学报 Vo l. 10 No.2 第 10 卷第 2 期 2009 年 6 月 Joumal of Informatíon Engineering Uníversity Jun.2009 一种基于逻辑编程的防火墙规则形式化分析方法 李鼎1 ，鲁柯2 ，周保群1 ，赵彬1 (1.信息工程大学电子技术学院，河南郑州 45∞04;2. 洞商预备役 136 师，河南开封 475∞4) 摘堕:防火墙作为网络安全体系的基础和核心控制设备，其作用的发挥取决于防火墙规则的正 确配置。由于防火墙规则配置的复杂性，导致规则问可能存在冲突，使其不能满足安全目标。 文章提出一种基于逻辑编程的防火墙规则形式化分析方法，将安全目标与防火墙规则转换为 逻辑程序后加载到推理引擎，制订一系列推理规则，通过提出高级查询进行防火墙规则的冲突 检测和正确性验证，并对分析结果进行解释。 关键词:防火墙规则:逻辑编程;冲突检测 中圈份提号:TP393 Jt献标识码 :A 立章捕略:1671 叩 0673(2009)02 -0195 -05 Logic Programming Based Formal Analysis Method 01 Firewall Rules 1 2 1 1 LI Ding , LU Ke , ZHOU Bao呵un , ZHAO Bin ( 1. lnstitute of Electronic Technology ,lnfonnation Engineering University ,Zhengzhou 450004 ,China; 2. Hen皿 No. 136 Reserve Dívision ,Kaifeng 475ω4 ， China) Abstract: Firewall is the basal and principal equipment of network security architecture , its fuoctioo lying 00 the correctness of firewall rules. Firewall rules are so complex that they may oot consistent with each other. In this paper , a logic programming based formal analysis method to confirm anoma唰 ly detection and property checking are proposed. Firewall rules and security requirement into Iogic programs are translated , then import into reasoning engine and performing analysis through submit- ting queries. All of the results are explained. Key words: firewall rules; logic programming; anomaly detection 防火墙是一种被广泛应用的网络周边资金设 …个不重复数字给出，对于每一个收到的数据包， 防火墙将按照规则排列顺序进行规则匹配。第→ 备，其规则配置依据闷格安全需求定义，防火墙基 条匹配到