DARPA的黑客证明代码可保护军事系统免受黑客的侵害 - 马修·格里芬（Matthew Griffin）
一架自主直升机武装直升机正在亚利桑那州的一个军事基地上飞行 。突然 ，地面上的军官失去了无线电联系 ，并得知黑客控制了其机上计算机，然后出现了一个大问题 - 他们可以驾驶直升机吗？解雇武器？撞到地面？
当美国国防高级研究项目局（DARPA）在演习中使用这种情况来测试无人小鸟小鸟直升机的网络安全时 ，这种情况已经发生了 - 几乎是 - 几乎是 - 几乎是 - 几乎是发生了这种情况 。
尽管黑客受到了对计算机的不受限制访问 ，然后尽最大的努力使直升机（甚至使计算机崩溃）无法破坏关键系统。对于DARPA而言，DARPA的目的是在2018年作为其高保证网络军事系统（HACMS）计划的一部分开发“不可接受的”无人机 ，该演习取得了成功 。不过 ，这不仅与军队有关 。保持直升机计算机安全的软件是其操作系统的核心，这可能正是世界所需的一切，从起搏器到胰岛素泵和动力站 ，再到免疫到黑客的汽车。
DARPA的解释器视频
“我希望在十年的时间内 ，任何一个安全至关重要的事情都在我们的系统或其他基于我们确定的原则上运行， ”来自新成立的澳大利亚国家研究机构的Gernot Heiser Data61说 。澳大利亚机构之一的前任开发了“不可接受的 ”操作系统（其内核）的关键组成部分 。
内核是任何计算机操作系统的核心核心。如果黑客可以访问它 ，那么他们可以执行原本禁止的操作 - 例如 ，将手机变成信号干扰器。去年，Heiser的团队在数学上证明了他们的内核不可接受 。内核被称为SEL4 ，具有一些高度安全的属性 - 它只能执行其设计的操作 ，未经许可就无法更改其代码，并且未经许可就无法阅读其内存和数据传输 。
它的早期版本称为Okl4 ，现在使用数百万个智能手机。Heiser说 ，SEL4安全性的两个功能是隔离内核内数据的新方法 。但是，关键的开发是使代码能够数学上检查 。Heiser说 ，其他内核也可能具有这些属性 ，但是如果没有数学证明，就无法确定。7月，两个黑客通过远程访问克莱斯勒吉普车的计算机来拉动恶作剧 ，突然在高速公路上停止了 ，然后坠入沟渠 。结果，克莱斯勒被迫召回超过140万辆汽车 。
SEL4将来会阻止此类情节吗？Heiser说 ，如果使用Wi-Fi和黑客进行交流 ，您不能阻止黑客进入诸如汽车娱乐系统之类的东西，通常通常将非关键系统用作跳板本身 ，就像吉普车恶作剧一样。Heiser说 ，但是SEL4内核可以使系统分开 。
“现在正在努力将其推向汽车以保护它们 。汽车黑客可以访问娱乐系统，并将其用作跳板上的弹簧板 ，以便像转向一样关键区域。”
这就是直升机演习所展示的 。假设并非每个系统都可以安全 ，组织者同时使一台计算机同时运行了两个操作系统，其中一个包括SEL4内核 。然后 ，他们使黑客完全访问另一个系统。
Heiser说：“过去 ，他们拥有那件事没有问题。但是我们现在可以阻止他们闯入 。 ”
Medford的塔夫茨大学的凯瑟琳·费舍尔（Kathleen Fisher）说，同样的原则将适用于防止黑客进入电网或医疗设备中的关键系统 。澳大利亚墨尔本大学的伊曼·肖姆斯（Iman Shames）说，这对网络安全来说是一件大事。但是他说 ，即使软件无法稳定 ，也总是有攻击硬件的方法 。黑客可能能够欺骗设备的传感器或果酱传入的通信或其他信号，这可能是毁灭性的 ，因此在一个解决方案中出现另一个问题的地方会浮出水面 。
因此 ，争取黑客证明系统的斗争 - 如果确实会有这样的事情，那就继续了 ，但是没有问题的是开发SEL4采取的重要步骤。
来源:http://www.nzjuw.com/article/721807/ 来源:http://www.nzjuw.com/article/721824/ 来源:http://www.nzjuw.com/article/721846/ 来源:http://www.nzjuw.com/article/721887/ 来源:http://www.nzjuw.com/article/721966/ 来源:http://www.nzjuw.com/article/721934/ 来源:http://www.nzjuw.com/article/721883/ 来源:http://www.nzjuw.com/article/721943/ 来源:http://www.nzjuw.com/article/721871/ 来源:http://www.nzjuw.com/article/721844/
来源:http://www.nzjuw.com/article/721807/ 来源:http://www.nzjuw.com/article/721824/ 来源:http://www.nzjuw.com/article/721846/ 来源:http://www.nzjuw.com/article/721887/ 来源:http://www.nzjuw.com/article/721966/ 来源:http://www.nzjuw.com/article/721934/ 来源:http://www.nzjuw.com/article/721883/ 来源:http://www.nzjuw.com/article/721943/ 来源:http://www.nzjuw.com/article/721871/ 来源:http://www.nzjuw.com/article/721844/
本文来自作者[小霜]投稿，不代表策华号立场，如若转载，请注明出处：https://cehuayingxiao.cn/zshi/202506-40420.html
评论列表（4条）
我是策华号的签约作者“小霜”！
希望本篇文章《DARPA的黑客证明代码可保护军事系统免受黑客的侵害 - 马修·格里芬（Matthew Griffin）》能对你有所帮助！
本站[策华号]内容主要涵盖：国足,欧洲杯,世界杯,篮球,欧冠,亚冠,英超,足球,综合体育
本文概览：DARPA的黑客证明代码可保护军事系统免受黑客的侵害 - 马修·格里芬（Matthew Griffin） 一架自主直升机武装直升机正在亚利桑那州的一个军事基地上飞行。突...