美洲

  • 雷竞技比分
stephen法例
美国高级通讯员

启动时使用数学显示网络安全性

新闻发布
5月5日 2016 4分
网络化 安全性

Veriplook使用空间程序验证系统研究所有可能数据路径

你怎么知道网络安全不受攻击和故障Veriplook启动并获得美国支持国防部表示它能确定

Verivrook应用正式验证法,用于准备火星任务和军用设备,提前发现网络出错使用信息帮助企业应用政策防止问题启动或传播

雷竞技电脑网站如果实验室比数据中心多听这个声音, 可能是因为那是它发源地VeriflorCTO、COS和首席工程师都是长期学术者协同研究问题伊利诺斯大学国家科学基金会是一个资助者

维里弗尔表示该用新方法了图表和网络工程师知识过去足以保证右包以正确方式穿行网络基础设施变得太复杂和频繁改变无法依赖这种方法,CTO和共同创建者Brighten Godfrey表示

Godfrey说,企业网络像建软件一样加入应用的每一行代码都可能对软件工作产生广度效果,拼图中多片无法预测这些效果

Veriplook网络能做的有点像GitHub等服务软件持续集成两者都研究修改所涉问题,无论是新路由器配置或拟加法代码Verifll操作数学深层次:它识别网络上所有可能的流数据,然后帮助用户制定控制流数据的政策

实现此目标有挑战性: 包在网络上行为之可行方法数是一个天文数, 依宇宙原子数序排列Veriflor开发软件绕过屏障

Godfrey说,“我们不能千真万确地探索各种可能性”。算法决定一切 以高效方式实现

Veriflor启动使用虚拟工具,云或客户馆舍调查网络并收集资料测试路由器、开关和其他物理和虚拟设备,并查看路由和转发表等事物以确定所有可能的数据流IT商店使用策略控制网络,结果显示这些政策是否如意有效

客户可随同数据使用Veriplow政策建议,这些建议以行业最佳做法为基础,或使用Veriplow仪表板或APIs(应用编程接口)创建新政策

Verifl流不取代安全工具如防火墙,它只是显示执行方式是否正确保护网络不受攻击,Godfrey说。稍后,如果攻击发生,Veripl流向安全响应团队展示网络长相和有害包去向

Veripl流系统已经在实验网络和生产网络使用,公司表示,今年下半年应可普遍使用

企业策略集团分析员Dan Conde想深入了解实战实战以判断Veriflor将如何在实验室外工作真实网络包括多商家的装置和器件以及传统硬件和软件定义组件Conde表示外面的世界乱七八糟

和任何新产品设计提高网络安全性一样, 并容留一些谨慎之处,他说团队构建系统像Veriflor's 一定有深层安全知识, 但在现实世界总有惊喜

安全就是那些需要时间来硬化的东西之一 Conde说