IT商业新闻网-解读信息时代的商业变革
当前位置: 首页 > 软件 > 正文

号称能防黑客加密代码工具Evercrypt发布

2019-04-08 16:10:02 来源:IT之家   

  有研究人员于4月2日在GitHub上发布了一个号称能防黑客的加密代码工具,名为“EverCrypt”。从字面意思看,这个名字取得一点都不客气——“永远加密”。

  负责该项目的计算机科学家Karthik Bhargavan在《Quanta Magazine》撰文称,通过将计算机代码视为数学证明,该库被证实对大多数黑客攻击都是无懈可击的。

  Evercrypt据称是一个“软件库”,涉及简单的算术,包括几何和素数。

  

image.png

 

  通常情况下,程序员团队创建的软件是来满足他们所希望达成的某些目标。完成后,他们会测试代码;如果软件能在没有带来不良后果的情况下完成了目标,程序员就可以得出结论,认为该软件可以完成它的目标。

  编码错误通常情况下只是出现在极端的“临界情况”中,是由一些“不太可能发生的事”构成的完美风暴带来的重大漏洞。近年来最具破坏性的黑客攻击之中,许多例子都和这种极端情况有关。

  然而,EverCrypt没有采用大多数代码的编写方式。负责EverCrypt的卡内基梅隆大学计算机科学家Bryan Parno说:“你可以减少代码在数学公式中的行为方式的问题,然后你可以检查公式是否成立。如果确实如此,你知道你的代码有这个属性。”

  EverCrypt的工作始于2016年,是由微软研究院领导的Project Everest的一部分。EverCrypt是采用F*语言编写、验证的,F*是一个由微软研究院开发的基于F♯的依赖类型函数式程序语言。

免责声明: IT商业新闻网遵守行业规则,本站所转载的稿件都标注作者和来源。 IT商业新闻网原创文章,请转载时务必注明文章作者和来源“IT商业新闻网”, 不尊重本站原创的行为将受到IT商业新闻网的追责,转载稿件或作者投稿可能会经编辑修改或者补充, 如有异议可投诉至:[email protected]
微信公众号:您想你获取IT商业新闻网最新原创内容, 请在微信公众号中搜索“IT商业网”或者搜索微信号:itxinwen,或用扫描左侧微信二维码。 即可添加关注。
标签:

品牌、内容合作请点这里: 寻求合作 ››

相关阅读RELEVANT