详细内容或原文请订阅后点击阅览
darpa吹捧“正式方法”，用于削弱芽中的网络灾难
该机构正在推动更大的军事采用近年来开发的大量弹性软件工具。
来源:美国国防新闻网__五角大楼国防高级研究计划局的官员已经开始推动国防部经理使用闲置的DARPA网络安全工具来抢占关键计划中的黑客攻击和事故。
DARPA信息创新办公室董事凯瑟琳·费舍尔（Kathleen Fisher）表示，近年来，近年来，近年来，近年来，一系列备受瞩目的事件强调了辩护官员之间的一种被动性。她说，该部门认为系统无法避免由软件漏洞引起的灾难性网络事件，因此该部门经常专注于反应性修复。
但主动为建立更多弹性软件的工具已经存在于五角大楼的对策中，她在本月早些时候在该机构的弗吉尼亚州阿灵顿总部举行的示威日表示。
“我们有许多关键的任务系统，其中有这些漏洞，我们学会与他们打交道的方式是在他们遭到攻击之后，我们得知‘好吧，那是一个糟糕的事情，’然后我们去修复它，”费舍尔说。 “事实后，我们支付了数十亿美元来解决这些问题。”
2017年，俄罗斯对乌克兰进行了网络攻击，现在被称为NotPetya。 攻击针对乌克兰的权力基础设施，但最终蔓延到国外，影响了欧洲各地的基础设施和企业，包括丹麦物流公司马尔斯克（Maersk），该公司负责全球容器运输的20％。在七分钟内，这次袭击摧毁了该公司的50,000台计算机，几乎消除了跟踪其容器船的Active Directory系统。该公司估计损失约为3亿美元。 安全公司CrowdStrike 近年来更普遍 darpa demos 高保证网络军事系统努力或HACMS “在HACMS中，我们表明可以使用正式方法来消除实际飞机中嵌入式系统的重要安全漏洞，” Cofer在DARPA演示日说。
2017年，俄罗斯对乌克兰进行了网络攻击，现在被称为NotPetya。
攻击针对乌克兰的权力基础设施，但最终蔓延到国外，影响了欧洲各地的基础设施和企业，包括丹麦物流公司马尔斯克（Maersk），该公司负责全球容器运输的20％。在七分钟内，这次袭击摧毁了该公司的50,000台计算机，几乎消除了跟踪其容器船的Active Directory系统。该公司估计损失约为3亿美元。 安全公司CrowdStrike近年来更普遍
darpa demos高保证网络军事系统努力或HACMS“在HACMS中，我们表明可以使用正式方法来消除实际飞机中嵌入式系统的重要安全漏洞，” Cofer在DARPA演示日说。