seL4

操作系统内核 seL4

GPL
C/C++ Python 查看源码»
未知
2009-08-16
红薯

你与数据分析专家,只差一个强大的数据库引擎!>>>

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

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

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

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

的码云指数为
超过 的项目
加载中
此软件有 1 条评论,请先登录后再查看。

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

Linux 基金会正在与澳大利亚国家科学机构 CSIRO 合作,打造 seL4 操作系统微内核生态。 近日 Linux 基金会宣布托管 seL4 基金会,该基金会以澳大利亚国家科学机构 CSIRO 的数字机构 Data61 创...

04/08 08:31

没有更多内容

加载失败,请刷新页面

没有更多内容

1
回答
seL4的网友评论

L4是一组基于微内核构架的操作系统内核,澳大利亚研究组织NICTA创造了一个新的L4版本,称为Secure Embedded L4(简写seL4),宣布在...

2009/12/11 11:38

没有更多内容

加载失败,请刷新页面

没有更多内容

鸿蒙操作系统用的微内核到底是什么?【转】

转自:https://blog.csdn.net/csdnnews/article/details/93987739 【CSDN 编者按】安卓系统是宏内核,而最近热议的华为鸿蒙操作系统是微内核。什么是微内核?微内核是如何发展?其优缺点是什...

2019/11/12 14:39
66
0
高性能mysql读书笔记之二 – 架构优化和索引

第三章 架构优化和索引 第三章的主要是说合理使用不同的数据类型和索引。主要需要注意的内容有如下: 1. 通用原则 1.1. 数据类型更小通常更好。 1.2. 数据类型越简单越好 1.3. 尽量避免使用N...

2012/12/01 01:39
2.4K
0

没有更多内容

加载失败,请刷新页面

没有更多内容

返回顶部
顶部