详细内容或原文请订阅后点击阅览
通过LSCOA的构造正确
旧技术的一种新景象是对网络威胁的实现进行中和。
来源:美国陆军采购支持中心旧技术的一种新景象是对网络威胁的实现进行中和。
我们是否愿意接受对手对网络攻击策略，技术和程序（TTP）改编的风险，比我们可以推动新软件更新的速度更快？我们是否愿意将战斗机在通信敏感的环境中暴露给可能破坏其系统的未经验证的软件更新的风险？
在当今动态的数字环境中，这些问题需要万无一失的解决方案。然而，国防部已有条件接受脆弱的软件。我们已经辞职了，在发现软件漏洞后默认会应用补丁程序。在旷日持久的大规模战斗行动（LSCO）中，这种辞职将转化为战场上的灾难。但是，现在存在解决军队系统的解决方案。这只是知道它们是什么以及如何应用它们的问题。
迫切需要软件强化的持续成功，我们的人机综合形成努力的持续成功，在2025年3月的项目融合Capstone 5演示中强调，将矛盾地邀请我们的对手罢工我们是最弱的：我们在车轮上和无处不在的未螺旋系统上的网络计算机。我们的创造力和将机器人和高级软件集成到我们的编队中的意愿将为对手提供其他攻击表面。
迫切需要软件强化 为什么要进行正式方法，为什么现在？建造桥梁时，工程师不希望它不会崩溃，而是使用严格的数学计算来证明它不会。在DARPA的进步之前，现有软件开发管道的这种工具无法实现。如今，它们已经触手可及，当应用于MRZR这样的军队系统时，正式的方法表明，即使红色团队入侵了该系统，黑客也无法使MRZR做蓝色操作员不赞成的事情。
成功的过程 - safedocs 。