防火墙安全策略的语义分析方法

计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (26): 135-137.

防火墙安全策略的语义分析方法

邓文俊¹,梁意文²

1.武汉大学软件工程国家重点实验室,武汉 430072
2.武汉大学计算机学院,武汉 430072

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-09-11 发布日期:2007-09-11
通讯作者: 邓文俊

Semantic method to analyze firewall policy

DENG Wen-jun¹,LIANG Yi-wen²

1.State Key Laboratory of Software Engineering,Wuhan University,Wuhan 430072,China
2.School of Computer Science,Wuhan University,Wuhan 430072,China

Received:1900-01-01 Revised:1900-01-01 Online:2007-09-11 Published:2007-09-11
Contact: DENG Wen-jun

摘要/Abstract

摘要： 给出了通过语义分析防火墙安全策略的方法。先将安全策略用一个优先逻辑程序表示,然后计算其语义。由于语义容易理解,管理员能很容易地分析安全策略配置,检测配置的正确性。

关键词: 防火墙, 安全策略, 优先逻辑程序

Abstract: Presents a semantic method to analyze security policy.Translates security policy into a prioritized logic program,and then computes its semantics.Semantics is easy to understand,so it is simple for administrator to analyze firewall policy and check it out.

Key words: firewall, security policy, prioritized logic program

邓文俊¹,梁意文². 防火墙安全策略的语义分析方法[J]. 计算机工程与应用, 2007, 43(26): 135-137.

DENG Wen-jun¹,LIANG Yi-wen². Semantic method to analyze firewall policy[J]. Computer Engineering and Applications, 2007, 43(26): 135-137.

[1]	彭飞1，张涛1，徐伟光1，赵敏1，秦恒加2. 基于本体的操作系统安全策略生成模型[J]. 计算机工程与应用, 2018, 54(2): 114-118.
[2]	王鹃1，2，3，刘世辉2，3，文茹2，3，洪智2，3，王江4，樊成阳3，张浩喆3. 基于OpenFlow的SDN状态防火墙[J]. 计算机工程与应用, 2018, 54(15): 84-90.
[3]	陈亮，王建，赵勇. 基于多核处理器的IPSec VPN系统安全策略检索研究[J]. 计算机工程与应用, 2017, 53(23): 67-71.
[4]	张立臣1，2，王小明1，窦文阳1. 面向普适计算的自适应模糊访问控制方法[J]. 计算机工程与应用, 2012, 48(27): 7-11.
[5]	叶春晓1，韩永征1，胡海波2. “Chinese Wall”安全策略中的委托研究[J]. 计算机工程与应用, 2011, 47(29): 121-123.
[6]	李莉1，翟征德2. 一种基于Web应用防火墙的主动安全加固方案[J]. 计算机工程与应用, 2011, 47(25): 104-106.
[7]	侯整风，庞有祥. 多核防火墙分层内容过滤的时延分析[J]. 计算机工程与应用, 2011, 47(12): 93-96.
[8]	龚雷^1，2，3，赵勇³，韩培胜^1，3，李瑜³. 典型应用系统安全保护框架研究[J]. 计算机工程与应用, 2010, 46(28): 90-93.
[9]	杨勇，孙宇清，周丽. FSP：一种基于风险的安全策略[J]. 计算机工程与应用, 2010, 46(13): 82-86.
[10]	顾文婷，潘雪增，楼学庆，郑斯琦. 面向IPsec安全策略的VPN性能评估模型[J]. 计算机工程与应用, 2009, 45(36): 78-81.
[11]	唐屹¹,张连宽². 带冗余策略的分布式IPSec网关配置[J]. 计算机工程与应用, 2009, 45(3): 106-108.
[12]	罗昕,张延园,马巍娜. 增强普适性的VPN系统设计与分析[J]. 计算机工程与应用, 2008, 44(22): 129-131.
[13]	王少鹏,孙敏. 基于网页标识的图像内容过滤防火墙的研究[J]. 计算机工程与应用, 2008, 44(1): 119-122.
[14]	黄俊韩玲莉. IPSec策略冲突发现形式化技术的研究 [J]. 计算机工程与应用, 2007, 43(6期): 128-131.
[15]	文俊浩,姬楷,高存志,郝建伟. 嵌入式Linux防火墙系统研究与实现[J]. 计算机工程与应用, 2007, 43(28): 144-146.