站長之家(ChinaZ.com) 10月17日消息:谷歌宣布推出安全操作系統(tǒng) KataOS,作為其最新專注于運行環(huán)境側(cè)重于機器學(xué)習(xí)工作負載的嵌入式設(shè)備的操作系統(tǒng)。
據(jù)悉,KataOS 選擇了 seL4作為微內(nèi)核,其經(jīng)過數(shù)學(xué)證明是安全的,具有保證的機密性、完整性和可用性。通過 seL4CAmkES 框架,KataOS 還能夠提供靜態(tài)定義和可分析的系統(tǒng)組件。KataOS 提供了一個可驗證的安全平臺,保護用戶的隱私,因為應(yīng)用程序在邏輯上不可能違反內(nèi)核的硬件安全保護,并且系統(tǒng)組件是可驗證安全的。
為了證明安全環(huán)境系統(tǒng)的整體性,谷歌還在為KataOS建立一個名為Sparrow的參考實現(xiàn),它將KataOS與一個安全的硬件平臺相結(jié)合。因此,除了邏輯安全的操作系統(tǒng)內(nèi)核外,Sparrow還包括一個在RISC-V架構(gòu)上用OpenTitan構(gòu)建的邏輯安全的信任根。然而,對于 KataOS 的初始版本,谷歌的目標(biāo)是使用 QEMU 模擬運行更標(biāo)準(zhǔn)的64位 ARM 平臺。
(舉報)