坚实的

Firmato:一个新颖的防火墙管理工具包。近年来,包过滤防火墙在技术上取得了令人瞩目的进步(如状态检测、透明性、性能等)和广泛的应用。相比之下,防火墙和安全管理技术却缺乏。Firmato是一个防火墙管理工具包,它具有以下不同的属性和组件:(1)一个实体关系模型,以统一的形式包含安全策略和网络拓扑的全局知识(2) 一种模型定义语言,我们用它作为接口来定义实体关系模型的实例(3) 模型编译器将模型的全局知识转换为防火墙特定的配置文件;以及(4)一个图形防火墙规则插图。我们在一个实际的例子中展示了Firmato的功能,从而表明防火墙管理可以在适当的抽象级别上成功地完成。我们实现了我们的工具包来与一个商用防火墙产品一起工作。我们认为,我们的方法是朝着简化防火墙配置和管理过程迈出的重要一步,特别是在复杂的多防火墙安装中


zbMATH中的参考文献(参考文献12条)

显示第1到第12个结果,共12个。
按年份排序(引用)

  1. 迪克曼,科尼利厄斯;赫尔,拉尔斯;米迦利斯,朱利叶斯;哈斯贝克,马克西米利安;Carle,Georg:验证的iptables防火墙分析和验证(2018)
  2. 阿尔法罗,J。G、 。;科普拉潘。;Cuppens,F.:完整分析配置规则以保证可靠的网络安全策略(2008)ioport公司
  3. 劳尔德,罗曼;卡迈尔,米歇尔;巴尔è你好,弗兰çois;Benzekri,Abdelmalek:WBEM体系结构中正式安全策略细化过程的实现(2007)ioport公司
  4. 梅耶,阿兰;羊毛,Avishai;齐斯金,以利沙:离线防火墙分析(2006)ioport公司
  5. Rathgeb,埃尔文P。;里巴赫,斯蒂芬;Tödtmann,Birger:Neue herausforderungen fü祖克的基础设施建设ünftigen IP网禅(2006年)ioport公司
  6. 古特曼,约书亚D。;Herzog,Amy L.:严格的自动化网络安全管理(2005)ioport公司
  7. 巴塔尔,耶;梅耶,阿兰J。;尼西姆、科比;Wool,Avishai:\texttiffirmato:一个新颖的防火墙管理工具包(2004年)ioport公司
  8. 哈桑,艾哈迈德·阿卜杜拉;Hudec,Ladislav:防火墙和路由器访问列表的管理和验证(2004)
  9. 佩尔顿,安蒂;维塔宁、蒂穆佩卡;图尔蒂亚宁,欧空局:IP网络中虚拟安全区域的集中管理(2004)
  10. 里德,杰森;昌,伊恩;亨里克森,马修;Smith,Jason:RBAC在分布式医疗信息系统中保护隐私的新应用(2003)
  11. 贾利利,拉苏尔;Rezvani,Mohsen:防火墙中安全策略的规范和验证(2002)
  12. 永裕县Permpoontanalap;Rujimethabhas,Chaiwat:验证和综合防火墙配置的统一方法(2001)