世界上首個被數(shù)學證明安全的操作系統(tǒng)微內(nèi)核 seL4 成立基金會。近日 Linux 基金會宣布托管 seL4 基金會,該基金會以澳大利亞國家科學機構(gòu) CSIRO 的數(shù)字機構(gòu) Data61 創(chuàng)建的 seL4 操作系統(tǒng)微內(nèi)核為基礎項目。seL4 是一個安全操作系統(tǒng)內(nèi)核,旨在確保現(xiàn)實世界中關(guān)鍵計算機系統(tǒng)的機密性、安全性和可靠性。seL4 是世界上第一個通過數(shù)學方法被證明安全的操作系統(tǒng)內(nèi)核,并且是世界上最快、最先進的 OS 微內(nèi)核。它對于嵌入式計算系統(tǒng)的安全可信賴方面將會有極大意義,具體來看可能影響到航空電子、自動駕駛汽車、醫(yī)療設備、關(guān)鍵基礎設施與國防等行業(yè)。 |
|