世界上首个被数学证明安全的OS微内核seL4成立基金会

Linux 基金会正在与澳大利亚国家科学机构 CSIRO 合作，打造 seL4 操作系统微内核生态。

近日 Linux 基金会宣布托管 seL4 基金会，该基金会以澳大利亚国家科学机构 CSIRO 的数字机构 Data61 创建的 seL4 操作系统微内核为基础项目。seL4 是一个安全操作系统内核，旨在确保现实世界中关键计算机系统的机密性、安全性和可靠性。

基金会创始成员包括 Cog Systems、DornerWorks、Ghost Locomotion、HENSOLD Cyber 与 UNSW Sydney。

seL4 是 L4 微内核家族的成员，它为系统中运行的应用之间的隔离提供了最高级别保障，可以遏制系统某一部分的危害，并防止损害系统中其它可能更关键的部分。

据介绍，seL4 是世界上第一个通过数学方法被证明安全的操作系统内核，并且在安全的基础上还强调高性能，是世界上最快、最先进的 OS 微内核。

它对于嵌入式计算系统的安全可信赖方面将会有极大意义，具体来看可能影响到航空电子、自动驾驶汽车、医疗设备、关键基础设施与国防等行业。

理论上，SeL4 可以用作 Linux 和其它类 Unix 操作系统的底层基础，甚至此前曾被考虑用于 GNU/Linux “真内核” GNU Hurd。

世界上首个被数学证明安全的OS微内核seL4成立基金会相关推荐

数学界的隐士：世界上最奇怪的数学天才，被奖励100万却拒领
关注上方"深度学习技术前沿",选择"星标公众号", 资源干货,第一时间送达! 世界上有一种人叫天才,他们智商远高于常人,能够创造各种神话,做到一般人做不到的事情 ...
世界上首条主要为互联网服务的海底光缆开通 | 历史上的今天
整理 | 王启隆透过「历史上的今天」,从过去看未来,从现在亦可以改变未来. 今天是 2023 年 3 月 7 日,在 1765 年的今天,法国发明家约瑟夫·涅普斯(Joseph Niepce)出生. ...
迪拜测试世界上首款自动驾驶出租车，距离2030年的自动驾驶目标又进一步
在接下来的几年内,该自动驾驶汽车将先在预定线路上行驶. 近日,迪拜公路运输管理局(RTA)的官员展示了两辆由美国Next Future Transportation公司在意大利制造的6人座方形汽车,被 ...
Intel 4004，世界上首个CPU，进不惑之年
为什么80%的码农都做不了架构师?>>> 你可能没有意识到,今天,世界上最重要的一项技术正值其40岁生日.1971年11月15日,一家名叫 Intel 的公司发布了其 Intel 4 ...
在浪漫的巴黎，他们举行了世界上首个无人机节
据说还是在香榭丽舍大街举行的哦! 9月4日,巴黎香榭丽舍大道举行了世界上首个无人机节. 节日上,各种形状和大小的竞速无人机沿着香街快速疾行,直至接近凯旋门才停下.不管是比赛选手还是围观群众,脸上的表情 ...
世界第一台电脑_再述东芝的传奇霸业：当年造出世界上首台笔记本，现在却为何放弃...
当年(1985年)造出世界上第一台笔记本电脑,这是东芝(TOSHIBA)在这个(PC)行业抹不掉的功勋. 2020年8月10日(今天)消息,东芝(TOSHIBA)在上周(2020年8月4日)彻底退出笔 ...
【历史上的今天】3 月 30 日：世界上最早的表情符号；IBM z/OS 问世；微软发布 HoloLens 开发版
整理 | 王启隆透过「历史上的今天」,从过去看未来,从现在亦可以改变未来. 今天是 2022 年 3 月 30 日,在 1951 年的今天,UNIVAC 通过验收测试.UNIVAC(UNIVersa ...
ST发布世界上首款LoRa Soc单片机STM32WL
作者:ST,排版整理:晓宇微信公众号:芯片之家(ID:chiphome-dy) 到目前为止,LoRa行业要么具有分立的MCU和收发器,要么两个组件都使用同一封装,但使用不同的裸片(系统级封装).新设 ...
世界上首个计算机网络被称为,网络**是什么，世界上第一个计算机网络是什么...
什么是网络? 什么是计算机网络? 随着计算机技术的发展和普及,计算机的使用已逐渐从纯粹的数值计算过渡到信息处理和管理. 在这种新的发展趋势下,在计算机的影响下,计算机的独立工作模式无法充分发挥计算机的 ...

世界上首个被数学证明安全的OS微内核seL4成立基金会

世界上首个被数学证明安全的OS微内核seL4成立基金会相关推荐

最新文章

热门文章