全球熱門(mén):谷歌推出 KataOS 開(kāi)源操作系統(tǒng)

發(fā)布時(shí)間：2022-10-18 07:25:16  |  來(lái)源：IT之家  


(資料圖片僅供參考)

近日，谷歌宣布，推出為嵌入式設(shè)備準(zhǔn)備的操作系統(tǒng) KataOS。

據(jù)悉，KataOS 選擇了 seL4 作為微內(nèi)核，其經(jīng)過(guò)數(shù)學(xué)證明是安全的，具有保證的機(jī)密性、完整性和可用性。通過(guò) seL4 CAmkES 框架，KataOS 還能夠提供靜態(tài)定義和可分析的系統(tǒng)組件。KataOS 提供了一個(gè)可驗(yàn)證的安全平臺(tái)，保護(hù)用戶的隱私，因?yàn)閼?yīng)用程序在邏輯上不可能違反內(nèi)核的硬件安全保護(hù)，并且系統(tǒng)組件是可驗(yàn)證安全的。


關(guān)鍵詞： KataOS-開(kāi)源 嵌入式設(shè)備

 

網(wǎng)站介紹  |  版權(quán)說(shuō)明  |  聯(lián)系我們  |  網(wǎng)站地圖 

星際派備案號(hào)：京ICP備2022016840號(hào)-16 營(yíng)業(yè)執(zhí)照公示信息版權(quán)所有 郵箱聯(lián)系：920 891 263@qq.com