谷歌宣佈一個用Rust編寫的新作業系統：KataOS

banq發表於2022-10-20
谷歌Rust作業系統

這是為嵌入式硬體構建的可驗證的安全系統，Google Research 團隊針對執行 ML 應用程式的嵌入式裝置進行了最佳化：

現在已經為這個安全作業系統 KataOS 開源了幾個元件，並與 Antmicro 合作開發了他們的Renode 模擬器和相關框架。作為這個新作業系統的基礎，選擇seL4作為微核心，因為它把安全放在首位；它在數學上被證明是安全的，具有保證的機​​密性、完整性和可用性。
透過 seL4 CAmkES 框架，還能夠提供靜態定義和可分析的系統元件。

KataOS 提供了一個可驗證安全的平臺來保護使用者的隱私，因為應用程式在邏輯上不可能違反核心的硬體安全保護，並且系統元件是可驗證安全的。
KataOS 也幾乎完全用Rust實現，它為軟體安全性提供了一個強有力的起點，因為它消除了整個類別的錯誤，例如一個錯誤和緩衝區溢位。

為了證明一個安全的環境系統，還為 KataOS 構建了一個名為 Sparrow 的參考實現，它將 KataOS 與一個安全的硬體平臺相結合。
 

相關文章