此启动使用数学来显示您的网络是安全的

您如何知道您的网络免受攻击和失败的安全？Veriflow是一个带有来自美国国防部的启动，说它可以确保它。

Veriflow应用于正式验证的练习，用于准备火星任务和军用装备，提前到了网络上可能出现问题。使用该信息，它可以帮助企业适用政策以防止出现问题开始或传播。

如果在实验室中的家中听起来比数据中心更多，那可能是因为它来自哪里。Veriflow的CTO，CSO和首席工程师都是在伊利诺伊大学致力于在一起工作的长期学术界，国家科学基金会是一个资助者。

Veriflow说是一种新方法的时间。图表和网络工​​程师“曾经足以确保正确数据包的知识将通过正确的方式通过网络。现在基础设施已经变得过于复杂，而且变化太频繁，依靠这种方法，CTO和联合创始人发亮的戈弗雷说。

“企业网络变得像建造一块软件，”戈弗雷说。添加到应用程序的每一行代码都可以对软件如何工作的效果宽程，并且拼图中有太多碎片来预测这些效果将是什么。

veriflow可以与网络做什么有点像在像github这样的服务中使用软件的持续集成。两者都检查改变的含义，也是一种新的路由器配置或建议作为应用程序的添加的代码。但是，在一个深度级别的情况下，验证是这样做的：它标识了网络上的每个可能的数据流，然后帮助用户设置策略来控制这些数据流。

这样做的挑战：数据包在网络上行事的可能方式的数量是天文数字，大行列宇宙中原子数的顺序。Veriflow开发了软件，以绕过这种障碍。

“我们可以”戈德里说，“我们可以”彻底透过各种可能性。““所以魔法是在算法中，确定以有效的方式确定一切。”

Veriflow通过使用虚拟设备，云或客户的场所使用虚拟设备来调查网络并收集信息。它检查路由器，交换机和其他设备，都是物理和虚拟，并查看像路由和转发表等的东西以确定所有可能的数据流。在使用策略控制其网络的商店中，调查结果可以显示这些政策是否按预期工作。

携带数据，客户可以使用验证的策略建议，这是基于行业最佳实践，或使用Veriflow仪表板或API（应用程序编程接口）来创建新策略。

Godfrey说，veriflow像防火墙一样取代了像防火墙一样的安全工具，它只是展示他们“重新实施的方式是保护网络免受保护网络的正确方法。后来，如果发生攻击，Veriflow可以显示安全响应团队网络的样子以及有害数据包可能已经消失的地方。

该公司表示，Veriflow已经在实验室试验和生产网络中使用，并且应该在今年下半年提供的。

企业策略集团分析师丹康德希望了解更多关于这些现场实施的现场实施，以规范验证如何在实验室外工作。Conde表示，真实网络包括来自许多供应商的设备和设备以及传统硬件和软件定义的组件。“这是一个凌乱的世界。”

他说，与任何新产品都旨在使网络更加安全，他说，还有一些谨慎的地方。任何验证等系统的团队必须具有深入的安全知识，但现实世界中总有惊喜。

“安全是它只是需要时间来硬化的事情之一，”Conde说。