Linux防火墙规则的输入与验证

来源 :河北工业大学学报 | 被引量 : 0次 | 上传用户:haruhana
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
介绍了具有规则相容性形式化验证功能的Linux防火墙可视化输入系统,它增强了Linux防火墙的可操作性和规则完整性.
其他文献
我国在20世纪90年代基础教育发展的目标是:在全国基本普及九年义务教育.由于各地区之间经济发展的不平衡,决定着各地区普及九年义务教育的进程也不同.如我国大城市的市区和沿
根据有限元算法,从双E型交流接触器的实际出发,建立起有限元分析的数学模型,利用ANSYS有限元分析软件对其进行了二维磁场分析,将吸力特性与反力特性相对照,分析了不同线圈高度和线
碳酸盐岩是一种硬度低、抗剪切能力差、易溶解的岩石,内部易存在大量的各种类型的裂隙.利用岩石学和地球化学手段,对大港探区的寒武-奥陶纪碳酸盐岩中的裂隙进行了研究:碳酸
GIS支持下的地下水信息管理系统开发是当前水资源管理研究的热点之一,它能够根据用户的触发指令,借助基础软件和特定的功能模块,将离散的数据整合为符合用户需求的知识信息以
从电子类院校大学生所应具备的核心素质、核心能力角度出发,讨论了富有电子信息特色的工程训练实践教学体系及其实训内容,总结了工程训练在学生创新能力、工程素质,尤其是在高素
结合地质资料和水文工程地质条件,以高密度电阻率法为基础建立研究体系,依据电性特征详细分析惠阳约场地区可溶岩埋藏特征,确定导致塌陷原因的同时预测具有潜在塌陷危险的区域。
北京金普润医药科技中心为军事医学科学院退休教授于2003年创立的新药研发公司。本公司属中关村科技园内高新企业。现有办公、实验室等场地面积60余平方米,从业人员8名。有博
根据复合材料理论,采用水泥-乳化橡胶沥青材料体系进行半刚性的路面材料的实验研究。这种复合型路面材料是以水泥沙浆为连续相,以乳化橡胶沥青为分散相,故其能够同时兼顾两种材料
亚洲东部边缘,主要的金矿带和金矿省在空间上与亚洲中部和亚洲东部大规模岩石圈板块相互作用的构造带相吻合。亚洲中部构造带是西伯利亚地台和华北(中朝)地台相互作用的场所,发生
主要是将当今在控制领域中流行的工控组态软件应用于化工颜料性能试验系统的控制中,实现对试验系统的自动化监测及控制.