【作者】 王永滨； 聂俊岚； 张吉；
【机构】 北京广播学院信息工程学院； 河北工业大学电气信息学院； 北京百联网讯科技有限公司 北京100024； 天津300130； 北京100101；
【摘要】 介绍了具有规则自动翻译和相容性形式化验证功能的Linux防火墙可视化输入系统 ,它增强了Linux防火墙的可操作性和规则完整性 ,辅助防火墙规则语义检测更多还原
