马尔格雷夫 swMATH ID: 28803 软件作者： Nelson，T.、Barratt，C.、Dougherty，D.J.、Fisler，K.、Krishnamurthi，S.：T 描述： 用于防火墙分析的margrave工具。编写和维护防火墙配置可能具有挑战性，即使对于经验丰富的系统管理员也是如此。揭示配置结果并对其进行编辑的工具可以帮助系统管理员防止细微但严重的错误。我们的工具Margrave为防火墙分析提供了强大的功能，包括枚举配置编辑的结果、检测规则之间的重叠和冲突、根据特定规则跟踪防火墙行为，以及根据安全目标进行验证。Margrave不同于其他防火墙分析工具，它支持多个级别的查询（规则、筛选器、防火墙和防火墙网络），比较单个查询中的单独防火墙，支持自反ACL，并提供包含查询的详尽的具体场景集。Margrave支持真实的防火墙配置语言，将其分解为多个策略，以捕获防火墙功能的不同方面。我们对网络论坛帖子和正在使用的企业防火墙配置进行评估。 主页： https://dl.acm.org/citation.cfm？id=1924980 相关软件： 南美林猫；z3（零3）；合金*；测试时代；消防员；github；伊莎贝尔/HOL；超小卫星；WhyLine公司；VERMEER公司；威士忌；波尔多葡萄酒；cddiff（cddiff）；CD2合金；CompoSAT公司；科拉特；梅斯4；合金；可爱的；HOL测试发电机 引用于： 3文件 全部的 前5名12位作者引用 1 乔治·卡尔 1 科尼利厄斯·迪克曼 1 马克西米利安·哈斯贝克。 1 拉尔斯·胡佩尔 1 丹尼尔·杰克逊 1 康，恩苏克 1 克里希纳穆提，施莱姆 1 朱利叶斯·迈克利斯 1 Aleksandar Milicevic 1 约瑟夫·P·奈尔（Joseph P.Near）。 1 蒂姆·纳尔逊 1 索拉维，Porncharenwase 2篇连载文章中引用 1 自动推理杂志 1 系统设计中的形式化方法 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文