操作系统内核seL4
-
seL4 是一个安全操作系统内核,旨在确保现实世界中关键计算机系统的机密性、安全性和可靠性。
seL4 是 L4 微内核家族的成员,它为系统中运行的应用之间的隔离提供了最高级别保障,可以遏制系统某一部分的危害,并防止损害系统中其它可能更关键的部分。
seL4 是世界上第一个通过数学方法被证明安全的操作系统内核,并且是世界上最快、最先进的 OS 微内核。它对于嵌入式计算系统的安全可信赖方面将会有极大意义,具体来看可能影响到航空电子、自动驾驶汽车、医疗设备、关键基础设施与国防等行业。
理论上,SeL4 可以用作 Linux 和其它类 Unix 操作系统的底层基础,甚至此前曾被考虑用于 GNU/Linux “真内核” GNU Hurd。
嵌入式计算系统的可靠性对于提高世界各地关键系统的安全性以保护它们免受网络威胁至关重要。这一点在航空电子、自动驾驶汽车、医疗设备、关键基础设施和国防等行业尤为重要。seL4微内核是世界上第一个验证了实现正确性的操作系统,它将保证、通用性和性能完美地结合在一起,是构建安全关键系统的理想基础。seL4基金会为开发人员提供了一个论坛来协作开发和集成seL4生态系统。
“Linux基金会将通过提供专业知识和服务来支持seL4基金会和社区,以增加社区参与、贡献者和采纳者,帮助将操作系统的生态系统提升到一个新的水平。”Linux基金会战略项目副总裁Michael Dolan说:“开放管理和基于标准的模型将提供一个中立、成熟和值得信赖的框架,以帮助推进一个易于部署和安全优化的操作系统。”
项目地址: http://sel4.systems/
西南地区IT社群(QQ)
- 云南
- 【昆明网页设计交流吧】243627302
- 【昆明nodejs交流吧】 243626749
- 【VUE】838405306
- 【云南程序员总群】343606807
- 【昆明UI设计】104031254
- 【云南软件外包】15547313
- 贵州
- 【PHP/java源码/站长交流群】55692114
- 四川
- 【成都Java/JavaWeb交流】86669225
- 【vaScript+PHP+MySql】116270060
- 【UI设计/设计交流学习群】135794928
- 重庆
- 【诺基亚 JAVA游戏博物馆】 559479780
- 【PHP,Java,Python,C++接单】 442103442
- 西藏