记录黑客技术中优秀的内容,传播黑客文化,分享黑客技术精华

这家初创公司使用数学方法展现你的网络是否安全

怎样才能知道你的网络在被攻击或故障的情况下是否安全?Veriflow,一个有美国国防部支持的初创公司表示,他们可以确保你能够知道。 Veriflow应用一个被用作在准备火星登陆和军工装备叫做“形式证明”的方法,去提前计算那些将会导致网络上的错误。使用那些信息,它能够帮助企业应用策略去防范问题的产生和蔓延。 Veriflow的首席技术官、首席安全官和首席工程师都长时间在伊利诺伊大学一起从事学术工作,国家科学基金是他们的投资人之一。
发布时间:2017-01-18 15:55 | 阅读:150308 | 评论:0 | 标签:技术产品 Veriflow 网络数据流

黑帝公告 📢

永久免费持续更新精选优质黑客技术文章Hackdig,帮你成为掌握黑客技术的英雄

标签云 ☁