导航菜单

Data61 seL4基于微内核的网络访问工具的防御合作伙伴

Data61和澳大利亚政府的国防科技集团(DST)合作建立了一个跨域的桌面合成程序(CDDC),这是一个由Data61的seL4微内核操作系统支持的单一界面,用户可以访问多个计算机网络。

目前,政府和国防部工作人员使用多个隔离的计算机网络来维护和保护机密数据。预计CDDC将修复现有的流程,Data61指出现有的市场解决方案提供了安全性和可用性之间的权衡。

CSIRO的创新部门在一份声明中表示:“那些更看重可用性而非安全性的人通常容易受到网络攻击,导致机密数据从一个网络泄露到另一个网络。”“相比之下,那些更看重安全性而非可用性的网站,则禁止在同一屏幕上同时访问多个域的数据。”

Data61的seL4微内核操作系统也用于自主直升机和卡车,以及DST的硬件安全创新。

Data61可靠系统团队的高级研究员Toby Murray说:“我们已经证明,seL4实施了非常严格的安全要求,并且没有困扰商品系统的许多种类的安全漏洞。”

“在CDDC中,我们使用seL4来支持信息的集成视图,同时提供对信息流的细粒度控制,包括对独立网络之间的剪切和粘贴的控制。”

尽管国防是CDDC的第一个重点市场,但Data61宣称这项新技术在政府和企业、关键基础设施、银行、医疗和自主系统等领域有着广泛的应用。

DST研究员Mark Beaumont解释说:“在一个安全至上的时代,网络安全需要一种新的方法。”“CDDC平台是一个例子,展示了我们如何在不牺牲可用性的前提下,从根本上改变构建和设计真实世界系统的方式,最大程度地保证可靠性。”

澳大利亚国防部已经成功地测试了该系统,Data61现在计划推广CDDC。

Data61的首席执行官Adrian Turner补充说:“我们已经制定了一个路线图,在国防市场和国防创新中心的支持下,将该产品商业化。”

“我们也会让本地的供应链为进一步的全球应用开发平台。”

特纳在7月份接受ZDNet采访时表示,为了让澳大利亚继续增长,该国需要创造新的产业,帮助加速现有产业的增长。他指出,这只能通过拥抱技术和调整澳大利亚的文化来实现。

特纳说:“我们拥有所有的要素,我认为这个国家最大的障碍是文化。”

“如果我们能改变这种心态,因为我们已经拥有了一切——我们真的拥有一切——没有什么能阻止我们。”我认为我们会的,这只需要少数的成功和更多的人在这个国家以不同的方式思考和说话,这将很快发生。”

本周早些时候,Data61和堪培拉的澳大利亚国立大学(Australian National University in Canberra)合作建立了一个新的研究项目——3A研究所(3A Institute),以解决有关人工智能的更广泛的问题。

郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。