详细内容或原文请订阅后点击阅览
DARPA的目的是使国防公司“更加困难”，以用“正式方法”推动
目前，DARPA的凯瑟琳·菲舍尔（Kathleen Fischer）说，大部分国防工业基地“选择让门打开，将窗户抬起并不使用锁”在网络空间中。
来源:美国防务快讯网华盛顿 - 国防高级研究计划局今天宣布了该机构称之为“迷你”网络安全盖石膏计划的启动，以“使我们不会失去下一个严重冲突”的方式推动国防工业基础（DIB）。
华盛顿 - 国防高级研究项目局今天宣布了该机构称之为“迷你”网络安全帽集结计划的启动，以“使它成为 国防高级研究项目机构 ，我们不会失去下一个严重的冲突。”“我们还没有一个重大的黑客攻击国家安全后果。过去没有发生，所以将来不会发生，对吗？这不是真正的推理。 “过去可能会计划某件事的对手过去不会为我们提供警告并在将来做好准备。”
这就是为什么DARPA推动“弹性软件系统加速器”的原因，该计划旨在为为国防公司开发“正式方法工具”的公司提供种子资金。 DARPA表示，形式方法是“数学上严格的技术，可以为开发消除几乎所有可利用脆弱性的软件创建数学证明。”
根据DARPA需要这样的过程来保护和阻止旧技术带来的对抗性网络威胁。 Fischer解释说，DIB具有采用正式方法所需的工具，但鉴于DARPA自2011年以来一直采用正式方法，其高保险网络军事系统（HACMS）计划就落后于此。
高保证网络军事系统（HACMS）计划 《华盛顿邮报》 “主动”针对 MQ-9 Reaper