• 坚实的

  • 参考12篇文章【sw10595】
  • Firmato:小说防火墙管理工具包。近年来,包过滤防火墙看过一些。。。性能等)和广泛部署。相反,防火墙缺乏安全管理技术。。。现在的公司防火墙管理工具包,具有以下不同的属性和组件。。。模型的全局知识防火墙-特定配置文件;和(4)图形防火墙...
  • 消防员

  • 参考6篇文章[sw10594]
  • 消防员:一个工具箱防火墙建模和分析。安全问题变得越来越重要。。。网络化系统。防火墙为网络安全提供重要防御。但是,在防火墙非常。。。介绍FIREMAN,一个用于防火墙建模和分析。通过治疗防火墙配置。。。个人违反政策、前后矛盾和效率低下防火墙以及分布在防火墙. 消防员。。。
  • 马尔格雷夫

  • 引用2篇文章[sw28803]
  • margrave工具防火墙分析。写作与维护防火墙配置可能很有挑战性,甚至。。。工具Margrave为防火墙分析,包括列举配置编辑的后果,检测。。。规则之间的重叠和冲突,跟踪防火墙对特定规则的行为,以及针对安全性的验证。。。目标。玛格瑞夫与众不同防火墙-支持多层次查询的分析工具(规则。。。
  • 简单防火墙

  • 1条引用[sw28799]
  • 简单防火墙. 我们提出了一个简单的模型防火墙. 这个防火墙可以接受。。。Iptables语义”,我们将翻译Linux防火墙iptables到这个模型。对于一个固定的。。。计算防火墙的筛选行为。该算法计算最小。。。详细说明,请参阅验证的iptables防火墙分析,IFIP网络。。。
  • Iptables语义

  • 1条引用[sw28802]
  • Linux/netfilter iptables的过滤行为防火墙. 我们提供算法来简化复杂的iptables规则。。。简单的防火墙模型(c.f.AFP入口简单_防火墙)为了验证欺骗保护。。。iptables保存分析的转储防火墙-并给出了关于用户的有趣结果。。。规则集。实词防火墙错误已经被发现,规则集的正确性已经被。。。
  • 防火墙生成器

  • 1条引用[sw28790]
  • 防火墙建筑商制造防火墙通过提供一个拖放式GUI应用程序,可以轻松地进行管理。。。用于BSD的ipfilter和HP ProCurve ACL防火墙...
  • UPF防火墙

  • 1条引用[sw28801号]
  • 形式化网络模型及其在防火墙政策。我们提出了一个正式的模型。。。网络协议及其在建模中的应用防火墙政策。形式化是基于。。。测试实际安全配置的案例防火墙和路由器(中间的盒子)使用HOL TestGen。。。
  • 阁楼

  • 1条引用[sw28838]
  • LOFT验证的Linux迁移防火墙给SDN。我们展示LOFT-Linux防火墙OpenFlow转换器。。。基于Linux的iptables链防火墙在一组静态OpenFlow规则中。。。
  • 胶粘的

  • 1条引用[sw23590]
  • 环境必须处理连接问题(NAT和防火墙),在连接管理方面保持可伸缩性。。。具有复杂网络的群集(包括NAT和防火墙)以及过程管理(包括SSH、torque。。。
  • 网络安全策略验证

  • 1条引用[sw32204]
  • 大型现实世界分析防火墙. 更多例子:一个全自动翻译高。。。将安全目标与防火墙分布式配置(请参阅SDU/SDU示例)。。。
  • 共济会

  • 1条引用[sw20024]
  • 独立开发的“同类最佳”应用程序防火墙一个负载平衡器,一个网关,一个路由器。。。
  • 天空盒

  • 1条引用[sw22312]
  • 解决方案推动有效的脆弱性和威胁管理,防火墙管理和持续的合规性监控。建立。。。
  • 肉毒杆菌

  • 1条引用[sw23890]
  • 广受欢迎,设施齐全防火墙,恶意流量可以与合法流量混合。。。
  • 配置检查器

  • 1条引用[sw28842]
  • 整个网络包括路由器、IPSec,防火墙,以及用于单播和多播数据包的NAT。我们的模型。。。
  • 分线盒

  • 在0篇文章中引用[sw15002]
  • 单击modular router--使用防火墙作为一个用例。我们的实验结果表明。。。平均数据包,最多可遍历60个防火墙规则。。。