soword科技言
永久公益免费API接口
提供永久免费的API接口,查看更多API接口,如果您有其他免费API资源,请联系我们,造福人类。
提供商务开发:小程序,系统,APP
定制开发,免费评估,免费咨询,价格便宜,售后保障,前往开发服务中心联系开发客服中心
图灵遗产:Facebook的开发者如何从战时代码破解中汲取教训

布莱奇利公园是英国战时破译代码的发源地,但它不仅仅是一个历史上的奇观,而且至今仍具有现实意义;甚至Facebook的一些工程突破都可以追溯到炸弹机器的超级秘密诞生地。

位于伦敦以北约50英里的米尔顿凯恩斯在第二次世界大战期间,公园里有成千上万的男女,他们是政府密码和密码学校(GC&CS)的成员。

英国数学家艾伦·图灵和他的团队就是在那里用世界上第一台特殊用途的计算机设备破解了德国的谜码。图灵的机电机器被称为“炸弹”,它能够模仿“谜”装置,并对密码进行复杂的密码分析,最终读出德军交换的编码信息。

这项技术有效地让盟军监听敌人的秘密通信,并对决定战争的结果起到了决定性的作用。

爆炸发生后,图灵的同事汤米·弗劳尔斯(Tommy Flowers)开发了巨像计算机,巨像号破解了德国人的洛伦兹密码,一种更复杂的密码,用来编码敏感的通信,并最终向盟军提供了诺曼底登陆诺曼底登陆的情报。

与当时在布莱奇公园进行的工作一样重要,图灵和他的团队的遗产仍然在我们的现代世界中渗透。事实上,Bombe和巨无霸设定了许多协议的原则,这些协议都是当今互联网安全的基础。

Facebook的程序分析工具Zoncolan就是其中一个例子,它被设计用来检查公司每天运行的数亿行代码,得出结论而不需要实际操作要运行程序,请在a寻找潜在的危险漏洞

Facebook工程总监Gemma Silvers,他告诉ZDNet:“当你了解如何使用程序分析来开发我们在Facebook上运行的应用程序的安全性和安全性时,我们可以直接将其与Alan Turing的工作联系起来。”

“该团队推动的改进帮助我们公司发现了许多缺陷和在其他情况下,这些漏洞需要花费数小时的人力分析。这是程序分析和漏洞检测的一个例子,它与Bletchley Park有着密切的联系。“Alan Turing经常被称为“现代计算之父”,这是有充分理由的。在大比例尺的电子园里进行了大规模的计算机破解,并首次进行了大规模的计算机编码Silvers说:“这是我们工业赖以建立的一段重要历史,”Bombe和巨无霸很快激发了通用计算机的设计灵感,例如,多亏了图灵的一位熟人约翰·冯·诺依曼(John von Neumann)提出的体系结构。von Neumann体系结构是建立在图灵计算理论基础上的,它包括数据和指令的二进制存储等元素,许多通用计算机都是以这些为基础的。Facebook刚刚宣布向该网站捐赠100万英镑,以支持未来两年的运营,因为Covid-19流感大流行给布莱奇公园的预算带来了压力。

“在我们看待计算机科学和应用人工智能的方式中,有很多相似之处,”Facebook的Silvers说可以毫不夸张地说,如果没有图灵和他在Bletchley的团队的工作,我们在Facebook解决的问题会有根本性的不同。”

一个很好的例子:Facebook的研究人员和UCL教授Peter O'Hearn建立在Turing to开发一种称为分离逻辑的新理论。作为一种全新的代码推理方法,O'Hearn的理论现在已经被整合到平台的漏洞检测程序中,以挖掘出预生产缺陷。Separation logic于2016年开源,被Amazon、Spotify、Uber、Mozilla和其他公司使用。

O'Hearn的工作只是现代世界欠图灵和他的团队的巨额债务的一个例子。

“我们所知的许多现代技术世界都是由一些创新驱动的“那时候在布莱奇公园,”西尔弗斯说。当然,图灵在计算机科学方面的遗产还没有达到极限。从量子计算到人工智能,未来几年将充斥着革命性的技术,其中许多将间接源自米尔顿凯恩斯网站。

微型:位微型计算机刚刚进行了一次大升级

陆军正在测试狗用ar护目镜-每一家企业和我们的窥探法都应受到谴责/“data omniture track=”moduleClick“data omniture track data='{“moduleInfo”:“more from author”,“pageType”:“article”}>一场数据灾难正逼近每一家企业,而我们的窥探法也应为此负责,注册登记,您同意
2023-03-22 10:04:21