DARPA 如何为下一次网络战争做准备

DARPA 的总部位于弗吉尼亚州北部，坐落在一个商场后面，紧邻一个建筑工地的露天矿坑，它是美国军方最具前瞻性的附属机构，与其说它不起眼，不如说它刻意低调——它是一座科技胜利的圣地，像郊区无数的办公室一样闪闪发光。在里面，我和十几位记者一起会见了 DARPA 主任阿拉蒂·普拉巴卡和副主任史蒂夫·沃克。我们被邀请到这里讨论一场非常复杂的猜谜游戏：未来会出现什么威胁，现在的哪些投资可以防范这些威胁？

尽管 DARPA 专门针对国防需求，但其创造的大部分成果最终都用于民用。也许最著名的项目就是让您读到这篇文章的项目：最初的互联网 ARPANET 就是 DARPA 的一个项目。正如 Prabhakar 所说，DARPA 是那种“如果您不发明互联网，您就会得到 B 级”的地方。

互联网以及随之而来的计算和数据革命已证明自己是现代世界的强大引擎。这无疑是一件好事，但随之而来的是令人烦恼、几乎难以解决的问题：随着每年生成和收集的数据越来越多，需要防范攻击者的领域也越来越大。正如普拉巴卡所说，“攻击面越来越大。”

打个不恰当的比喻，这就像一个国王建造了一座图书馆，然后在它周围修建了护城河。护城河、塔楼和守卫可以保证图书馆的安全，只有国王才能把书带进带出。相反，互联网给我们带来了成千上万的图书馆，人们可以自由地添加和复制书籍，并在图书馆之间穿梭。任何时候，都有可能有人提交一本自燃的书，或者一本一旦打开就会把图书管理员锁在外面，直到他们支付赎金的书。也许这并不奇怪，本周国家情报总监詹姆斯·克拉珀将物联网称为当今美国面临的最大威胁。

那么 DARPA 是如何解决这个问题的呢？普拉巴卡和沃克反复强调，完美的安全性是不可能的：没有不可破解的代码。但这并不意味着我们不能制作不易被破解的代码。为此，DARPA 开展了高可靠性网络军事系统项目，简称 (HACMS)。（发音为 hack-ems。DARPA 是将双关语转化为武器的世界领导者。）该项目从头开始构建代码，使用数学证明来确保安全性。从其官方描述来看：

这……不是很清楚。“这不是我的专业领域，”普拉巴卡在解释时向在场的各位说道，“但 [前 HACMS 项目负责人] 约翰·兰奇伯里 (John Launchbury) 将其描述为数学。人们可能会计算直角三角形，并发现 a ² + b ²似乎一次又一次地 = c ² ，一段时间后，你就可以证明这是正确的定理。你实际上总是知道你有一个直角三角形，直角三角形是无法破解的，因为你不能让 c ²不等于 a ² + b ² 。这种数学证明被捕获在代码中。

项目启动后，团队找到了一个有用的代码核心，他们把它放在一架无人机上，并让一队黑客试图破解它。他们没能成功。然后，他们将代码放在一架小型攻击直升机上，改装成无人驾驶。为此，他们让雇佣的黑客不仅能访问源代码，甚至还能访问摄像头传感器的代码。尽管黑客进入了摄像头系统，但他们无法破解代码并进入直升机的主系统。

HACMS 仍在继续，但很难说它是唯一能够应对通过代码发起的威胁的解决方案。当被问及时，普拉巴卡否认它能够防黑客，而是说 HACMS“并非完全无法破解。攻击者有某些明显的攻击路径，这些路径都已被关闭，而这些路径在数学上已被证明无法破解。”