你相信存在没有漏洞的代码吗？美国人正在研究

正文

请到「今天看啥」查看全文

据悉，DARPA邀请了一批“从良”黑客参与测试，HACMS在研发过程中让 这些白帽子黑客肆意入侵系统，他们展示了多种方法，可以轻松破解没有安装HACMS的系统和网络；但是在尝试入侵安装了HACMS的系统时，没有一个人成功。 而这项技术目前已经开始被诸如医疗设备等民用领域付诸实践，并且在Github上公布了源代码 。

尝试攻击“小鸟”无人直升机

去年夏天，亚利桑那州某黑客团队尝试控制波音的“小鸟”（Little Bird）无人军事直升机。该黑客团队一开始就被授权了“小鸟”计算机系统的一部分访问权限。 他们要做的就是入侵“小鸟”的机载飞行控制计算机，进而控制整架直升机——这对他们而言原本就不应该是什么难事。

但是作为HACMS项目的一部分，事情当然不会如此简单。 DARPA的工程师们为“小鸟”开发了一种新的安全机制：一个无法被攻占的软件系统。

DARPA给了该黑客团队6周时间，该团队始终没能攻破“小鸟”无人军事直升机计算机系统的。这其中还需要考虑到，在攻击之前，黑客团队就有一定的访问权限，可即便如此也仍旧不行。

高可靠性军事网络系统(HACMS)项目发起人、美国塔夫斯大学计算机科学教授 Kathleen Fisher 表示：

“黑客们无法以任何方式扩大控制并干扰机器运行。这一结果让美国国防部高级研究计划局非常高兴，他们说现在终于能用这一技术来保护核心计算机系统了。”

“小鸟”无人军事直升机计算机部署的新系统使用的技术为形式验证(formal verification)

请到「今天看啥」查看全文