Internet Develppment
      互聯網開發& 推廣服務提供商

      我們擅長商業策略與用戶體驗的完美結合。

      歡迎瀏覽我們的案例。

      首頁 > 新聞中心 > 新聞動態 > 正文

      谷歌推出安全操作系統KataOS 專注運行環境的嵌入式設備操作系統

      發布時間:2022-10-18 09:24:18來源:開源中國社區

        谷歌宣布推出安全操作系統 KataOS,作為他們最新專注于運行環境側重于機器學習工作負載的嵌入式設備的操作系統。出于將安全性放在首位的宗旨,KataOS 專門使用 Rust 語言開發,并基于 seL4 微內核進行了構建。

        通過 seL4 CAmkES 框架,我們還能夠提供靜態定義和可分析的系統組件。KataOS 提供了一個可驗證安全的平臺來保護用戶的隱私,因為應用程序在邏輯上不可能違反內核的硬件安全保護,并且系統組件是可驗證安全的。KataOS 也幾乎完全用 Rust 實現,它為軟件安全性提供了一個強有力的起點,因為它消除了 entire classes 錯誤,如 off-by-one errors 和緩沖區溢出。


      圖片來自網絡/侵刪

        目前,谷歌已經在 GitHub 開源了大部分 KataOS 核心部分。具體包括用于 Rust 的框架(例如 sel4-sys crate,它提供了 seL4 系統調用 API),一個用 Rust 編寫的備用 rootserver(用于動態系統范圍的內存管理),以及對 seL4 的內核修改,可以回收 rootserver 使用的內存。

        谷歌方面透露,在內部,KataOS 還能夠動態加載和運行在 CAmkES 框架之外構建的第三方應用程序。但運行這些應用程序所需的組件暫時還未開源,他們計劃或將在不久的未來發布這些功能。

        為了完整地證明一個安全的環境系統,谷歌還為 KataOS 構建了一個名為 Sparrow 的參考實現,它將 KataOS 與一個安全的硬件平臺相結合。因此,除了邏輯安全的操作系統內核之外;Sparrow 還包括一個邏輯安全的信任根,該信任根是使用 OpenTitan 在 RISC-V 架構上構建的。但是就初始版本而言,其目標是使用 QEMU 在模擬中運行更標準的 64 位 ARM 平臺。

        公告稱,谷歌的目標是開源所有 Sparrow,包括所有硬件和軟件設計;現下發布的 KataOS 早期版本只是一個開始。
        (邯鄲小程序開發

      最新資訊
      ? 2018 河北碼上網絡科技有限公司 版權所有 冀ICP備18021892號-1   
      ? 2018 河北碼上科技有限公司 版權所有.
      主站蜘蛛池模板: 国产精品毛片a∨一区二区三区| 国产亚洲一区二区三区在线观看| 一区国严二区亚洲三区| 一区二区三区在线免费| 亚洲AV无码片一区二区三区| 一区二区乱子伦在线播放| 精品3d动漫视频一区在线观看| 日韩精品一区二区三区中文精品 | 亚洲国产精品一区二区九九| 国产精品一区视频| 亚洲日本乱码一区二区在线二产线| 国产一区三区三区| 成人区精品一区二区不卡| 蜜桃视频一区二区| 精彩视频一区二区| 精品一区二区三区在线观看l | 亚洲一区中文字幕久久| 熟女少妇精品一区二区| 国产精久久一区二区三区| 亚洲免费视频一区二区三区| 日韩视频一区二区| 无码日韩人妻AV一区免费l| 国产成人AV区一区二区三| 最新中文字幕一区| 国产av夜夜欢一区二区三区| 视频在线一区二区| 久久精品无码一区二区app| 中文字幕一区二区视频| 日韩精品成人一区二区三区| 亚洲av无码一区二区三区乱子伦 | 色噜噜一区二区三区| 一区五十路在线中出| 不卡一区二区在线| 水蜜桃av无码一区二区| 国产精品制服丝袜一区| 最新中文字幕一区二区乱码| 成人国产精品一区二区网站| 果冻传媒董小宛一区二区| 无码人妻精品一区二区三区99仓本| 91久久精品国产免费一区| 国产精品日韩欧美一区二区三区|