61閱讀

seL4 成立基金會:世界上首個被數學證明安全的操作系統微內核

發布時間:2020-04-08 所屬欄目:科技

Linux 基金會正在與澳大利亞國家科學機構 CSIRO 合作,打造 seL4 操作系統微內核生態。

seL4 成立基金會:世界上首個被數學證明安全的操作系統微內核

近日 Linux 基金會宣布托管 seL4 基金會,該基金會以澳大利亞國家科學機構 CSIRO 的數字機構 Data61 創建的 seL4 操作系統微內核為基礎項目。seL4 是一個安全操作系統內核,旨在確保現實世界中關鍵計算機系統的機密性、安全性和可靠性。

基金會創始成員包括 Cog Systems、DornerWorks、Ghost Locomotion、HENSOLD Cyber 與 UNSW Sydney。

seL4 是 L4 微內核家族的成員,它為系統中運行的應用之間的隔離提供了最高級別保障,可以遏制系統某一部分的危害,并防止損害系統中其它可能更關鍵的部分。

seL4 成立基金會:世界上首個被數學證明安全的操作系統微內核

據介紹,seL4 是世界上第一個通過數學方法被證明安全的操作系統內核,并且在安全的基礎上還強調高性能,是世界上最快、最先進的 OS 微內核。它對于嵌入式計算系統的安全可信賴方面將會有極大意義,具體來看可能影響到航空電子、自動駕駛汽車、醫療設備、關鍵基礎設施與國防等行業。理論上,SeL4 可以用作 Linux 和其它類 Unix 操作系統的底層基礎,甚至此前曾被考慮用于 GNU/Linux “真內核” GNU Hurd。


版權聲明:本文內容由網友上傳(或整理自網絡),原作者已無法考證,版權歸原作者所有。61k閱讀網免費發布僅供學習參考,其觀點不代表本站立場。

本文標題:seL4 成立基金會:世界上首個被數學證明安全的操作系統微內核
本文地址: http://www.23756536.buzz/1254193.html

61閱讀| 精彩專題| 最新文章| 熱門文章| 蘇ICP備13036349號-1

18选7走势图 bbin平台是哪里的 管家婆资料 永鼎股份股票 安徽快三一定牛网站一 云南快乐十分前三规律 专业期货配资公司 中国体育彩票飞鱼游戏 平代表什么生肖 陕西省十一选五走势 12bet什么是百家乐九宫三路打法 辽宁快乐11选5技巧规律 甘肃十一选五任5推荐号 喜乐彩票下载安装 新疆新乐采11选5走势图 江西十一选五一定牛走势图 上海时时乐历史走势图