ACM通信

真实世界中正式验证的软件

2017年2月，一架直升机从亚利桑那州梅萨的波音工厂起飞，在附近的山上执行例行任务。它完全自主飞行，联邦航空管理局(Federal Aviation Administration)要求安全飞行员在飞行过程中没有接触任何控制装置。这不是AH-6的第一次自主飞行，被称为“无人小鸟”(ULB);^3.多年来一直如此。但这一次，这架飞机在飞行途中遭到了网络攻击。中央任务的计算机受到了流氓摄像软件的攻击，以及通过在维护期间插入的受损u盘传播的病毒。攻击损害了一些子系统，但不能影响飞机的安全操作。

回到顶部

关键的见解

有人可能会认为，在这样的攻击中幸存下来并不是什么大事，当然，军用飞机在抵御网络攻击方面会很强大。事实上，美国国防高级研究计划局(DARPA)在其高保证网络军事系统(HACMS)项目下雇佣的一个由专业渗透测试人员组成的“红队”在2013年破坏了ULB的基线版本，该版本是为了安全而不是安全而设计的，可以使其崩溃或转移到任何它选择的位置。在这种情况下，冒着飞机上有人被袭击的风险表明情况发生了巨大变化。

没有找到条目

登录阅读全文