seL4 正在参加 2021 年度 OSC 中国开源项目评选,请投票支持!
seL4 在 2021 年度 OSC 中国开源项目评选 中已获得 {{ projectVoteCount }} 票,请投票支持!
2021 年度 OSC 中国开源项目评选 正在火热进行中,快来投票支持你喜欢的开源项目!
2021 年度 OSC 中国开源项目评选 >>> 中场回顾
seL4 获得 2021 年度 OSC 中国开源项目评选「最佳人气项目」 !
授权协议 GPL
操作系统 未知
软件类型 开源软件
所属分类 操作系统
开源组织 Linux 基金会
地区 不详
投 递 者 红薯
适用人群 未知
收录时间 2009-08-16

软件简介

seL4 是一个安全操作系统内核,旨在确保现实世界中关键计算机系统的机密性、安全性和可靠性。

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

seL4 是世界上第一个通过数学方法被证明安全的操作系统内核,并且是世界上最快、最先进的 OS 微内核。它对于嵌入式计算系统的安全可信赖方面将会有极大意义,具体来看可能影响到航空电子、自动驾驶汽车、医疗设备、关键基础设施与国防等行业。

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

展开阅读全文

代码

的 Gitee 指数为
超过 的项目

评论

点击加入讨论🔥(1) 发布并加入讨论🔥
发表了资讯
2023/05/09 08:41

seL4 微内核获得 2022 ACM 软件系统奖

美国计算机协会 (ACM) 宣布将 2022 年 ACM 软件系统奖项授予 seL4 微内核团队,以表彰他们开发了第一个具有工业强度的高性能操作系统;该系统目前已通过完整的、机械检查的全功能正确性证明。 “2009 年,软件系统获奖者展示了 seL4 微内核,它成为有史以来第一个具有工业强度的通用操作系统,并正式证明了实现的正确性。在随后的几年中,该团队进一步补充证明了 seL4 强制执行完整性和机密性的核心安全属性,将证明扩展到内核的...

3
4
发表了资讯
2020/04/08 08:31

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

Linux 基金会正在与澳大利亚国家科学机构 CSIRO 合作,打造 seL4 操作系统微内核生态。 近日 Linux 基金会宣布托管 seL4 基金会,该基金会以澳大利亚国家科学机构 CSIRO 的数字机构 Data61 创建的 seL4 操作系统微内核为基础项目。seL4 是一个安全操作系统内核,旨在确保现实世界中关键计算机系统的机密性、安全性和可靠性。 基金会创始成员包括 Cog Systems、DornerWorks、Ghost Locomotion、HENSOLD Cyber 与 UNSW Sydney。 ...

33
22
没有更多内容
加载失败,请刷新页面
点击加载更多
加载中
下一页
发表了博客
{{o.pubDate | formatDate}}

{{formatAllHtml(o.title)}}

{{parseInt(o.replyCount) | bigNumberTransform}}
{{parseInt(o.viewCount) | bigNumberTransform}}
没有更多内容
暂无内容
发表了问答
{{o.pubDate | formatDate}}

{{formatAllHtml(o.title)}}

{{parseInt(o.replyCount) | bigNumberTransform}}
{{parseInt(o.viewCount) | bigNumberTransform}}
没有更多内容
暂无内容
暂无内容
1 评论
43 收藏
分享
OSCHINA
登录后可查看更多优质内容
返回顶部
顶部