【据rockwellcollins公司网站2017年4月24日公告】DRAPA已授予罗克韦尔·柯林斯公司及其合作伙伴一份“高可信性网络军事系统”(HACMS)项目,利用基于数学的开发方法保护平台免遭网络攻击,通过填补几类重要的系统漏洞来确保网络的适应能力。该工作组已开发的技术包括架构建模和分析、安全微内核以及应用程序代码的自动生成。每个小组成员均使用数学推理的方法确保网络攻击时不存在可利用的漏洞,提高军事和商业平台中关键电子系统的安全性和防护性。
【据rockwellcollins公司网站2017年4月24日公告】DRAPA已授予罗克韦尔·柯林斯公司及其合作伙伴一份“高可信性网络军事系统”(HACMS)项目,利用基于数学的开发方法保护平台免遭网络攻击,通过填补几类重要的系统漏洞来确保网络的适应能力。该工作组已开发的技术包括架构建模和分析、安全微内核以及应用程序代码的自动生成。每个小组成员均使用数学推理的方法确保网络攻击时不存在可利用的漏洞,提高军事和商业平台中关键电子系统的安全性和防护性。