为安全而好优化的◣◣ seL4 微内核获得了 Linux 基←金会的支持|linux培训|cisco培训|网络工程师培训|金源万博|北京金死神之左眼竟然再次被砸了回來源万博|高级网络工程师培训|计算▅机学校

内容标题38

  • <tr id='dp9AA0'><strong id='dp9AA0'></strong><small id='dp9AA0'></small><button id='dp9AA0'></button><li id='dp9AA0'><noscript id='dp9AA0'><big id='dp9AA0'></big><dt id='dp9AA0'></dt></noscript></li></tr><ol id='dp9AA0'><option id='dp9AA0'><table id='dp9AA0'><blockquote id='dp9AA0'><tbody id='dp9AA0'></tbody></blockquote></table></option></ol><u id='dp9AA0'></u><kbd id='dp9AA0'><kbd id='dp9AA0'></kbd></kbd>

    <code id='dp9AA0'><strong id='dp9AA0'></strong></code>

    <fieldset id='dp9AA0'></fieldset>
          <span id='dp9AA0'></span>

              <ins id='dp9AA0'></ins>
              <acronym id='dp9AA0'><em id='dp9AA0'></em><td id='dp9AA0'><div id='dp9AA0'></div></td></acronym><address id='dp9AA0'><big id='dp9AA0'><big id='dp9AA0'></big><legend id='dp9AA0'></legend></big></address>

              <i id='dp9AA0'><div id='dp9AA0'><ins id='dp9AA0'></ins></div></i>
              <i id='dp9AA0'></i>
            1. <dl id='dp9AA0'></dl>
              1. <blockquote id='dp9AA0'><q id='dp9AA0'><noscript id='dp9AA0'></noscript><dt id='dp9AA0'></dt></q></blockquote><noframes id='dp9AA0'><i id='dp9AA0'></i>

                您所在的位置:首页>新闻动态>新闻内容

                为安全而优化的 seL4 微内核获得了 Linux 基金会的支持

                旧金山—— Linux 基金会,一个通过开源※实现大规模创新的非盈利组织,宣☆布它将托管 seL4 基金会,一个由澳大利亚国家科学机构 CSIRO 的数字专家部门 Data61 建立的非盈利组织。seL4 微内核是世界上第一个被证明是安全的操作系统内核;它的设计是为了确保现实世界的关键计算小唯低聲輕吟机系统的安全性和可靠性。

                新的基金会旨在加速 seL4 和相关技术的ω发展,Linux 基金会将提供一个全球性的、独立的和中立的组织来资助和指导 seL4 的未来发展。创始成员包括 Cog Systems、DornerWorks、Ghost Locomotion、HENSOLD Cyber 和 UNSW Sydney。

                嵌入式计算系统的可靠性对于提高世界各地关键系统的安全性墨麒麟眼中精光一閃以保护它们免受网络威胁至关重要。这一点№在航空电子、自动驾驶汽车、医疗设备、关键基础设施和国防等行业尤为重要。seL4 微内核是世界上第一个验证了实现正确性的操作♂系统,它将保证、通用性和性能完美地结合在一起,是构建安全关键系统的理想基础。seL4 基金会为开发人员提供了一个论坛来协作开发和集成 seL4 生态系统。

                “Linux 基金神器会将通过提供专业知识和服务来支持 seL4 基金会和社区,以增加社区参与、贡献者和采▅纳者,帮助将操作※系统的生态系统提升到一个新的水平。”Linux 基金会战略项目副总裁 Michael Dolan 说:“开放管理和基于标准的模型将提供一个中立、成熟和值得信赖的一陣悲鳴框架,以帮助推进一个易于部署和安全优化的操作系统。”

                CSIRO 的 Data61 的负责人 June Andronick 博士说:“我们非八者聯合常期待为 seL4 提供一个可持续的↑、长期的发展轨迹,也非常希望看到 seL4 基金会在 Linux 基金会的伞下发展壮大。”

                “在 Linux 基金会】的帮助下,我们可以夢孤心接口嘆息道扩大 seL4 的贡献者和采用者的社区,”新基金就會有一次風沙暴会主席、新南威尔士大学科学家 Gernot Heiser 教授说。“这将Ψ 提供支持,让我们继续研究,确保 seL4 将保持最先进和安全的操作系统技术。”

                上一篇:“Linux” 小程序发布 Web 版,现在你愕然可以在 PC 上快速查询命令啦!...
                下一篇:2020年5月新华三技术有限公司RHCE培训圆满结束!...

                金源在线客服

                QQ在线咨询

                咨询电话
                010-83650488

                在线咨询

                在线咨询

                电话咨询