IT资讯
当前位置:乐享网 > IT资讯 >  科技云

五分28

2019-04-15 01:34:24 浮生 编辑:乐乐 浏览数:37乐享网

IT之家4月8日消息 有研究人员于4月2日在GitHub上发布了一个号称能防黑客的加密代码工具,名为“EverCrypt”。从字面意思看,这个名字取得一点都不客气——“永远加密”。负责该项目的计算机科学家Kar...

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

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

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

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

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

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

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

IT之家读者若对此感兴趣,可以点此链接前往相关GitHub页面了解。

分享到:

版权与免责声明:

凡未注明"稿件来源"的内容均为转载稿,本网转载出于传递更多信息的目的;如转载稿涉及版权问题,请作者联系我们,同时对于用户评论等信息,本网并不意味着赞同其观点或证实其内容的真实性;


本文地址:http://www.cdbrazil.com/news/2019/04/15/61270073.html

转载本站原创文章请注明来源:乐享网

行业聚焦

CES唱主角的8K电视机,可远观而不可亵玩焉

从CES 2019一直到现在,今年几大电视厂商开始陆续发布自家的8K电视,从索尼到LG,再到三星,似乎今年不发个8K电视自己就不是电视巨头,而我们也看到了大量的...[详细]

瓜子二手车与淘宝二手车联手 打造二手车新零售入口

月28日,瓜子二手车与淘宝二手车共同宣布在二手车新零售领域达成深度合作,建立深入的合作伙伴关系,将围绕汽车新零售消费服务、二手车拍卖、加速二手车流通等多方面展开...[详细]

开启智能家居新时代 创维发布全球首款AIoT生态中心SKYWORTH Q80

3月27日,创维在北京中国电影导演中心举办了主题为“奔向未来”的春季发布会,会上,创维发布了第一款大屏AIoT生态中心Swaiot CENTER—创维Q80。在...[详细]

携号转网已经逼近 运营商用这些方式挽留客户?

携号转网已经逼近,估计大家已经不是很陌生了。今年发生的事情真的是非常多呢,先是5g的到来,再是携号转网的出现,各大品牌商的手机纷纷有了巨大的进步。不过小编要说的...[详细]

诺基亚X71发布:骁龙660+挖孔屏

4 月 2 日下午,HMD 在中国台湾举办新品发布会,正式推出诺基亚 X71 。诺基亚 X71 将于 4 月 10 日上午 10 点在诺基亚在线商城正式开卖,售...[详细]

科技趋势

更多

苹果2019款iMac京东正式开售:10199元起

 

IT之家3月27日消息 苹果2019款iMac台式机已经在京东开售,新的21.5英寸和27英寸型号提供了新的处理器和图形...[详细]

[22点开售]爱奇艺VIP会员5折:黄金年卡99元/年,钻石年卡249元/年

 

今晚22:00爱奇艺VIP会员将于京东开启特惠活动:黄金会员(不送京东Plus会员)年卡、半年卡和钻石会员(送同时长奇异...[详细]

美副总统要求5年内送人上月球,NASA:需要加钱

 

网易科技讯4月3日消息,据The Verge报道,美国宇航局(NASA)原定于2028年将宇航员重新送上月球,但美国副总...[详细]

苹果推送iOS 12.2正式版系统更新

 

IT之家3月26日消息 今日早晨,苹果面向iOS正式版用户推送了iOS 12.2版本更新,本次更新带来了全新的动话表情、...[详细]

为啥IT男偏爱开发女性机器人?难道是异性相吸?

 

随着科技的进步,AI机器人越来越多地出现我们的视线中。细心的你可能会发现,各国研发的人工智能机器人大都是女性形象,甚至有...[详细]