AWS 推出 M9g/M9gd 例項，配備正式驗證的 Nitro 隔離引擎
EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation
重點導讀
AWS 推出 M9g 與 M9gd 例項，搭載 Graviton5 CPU 並內建經 Isabelle/HOL 驗證的 Nitro 隔離引擎，為雲端使用者提供數學保證的虛擬機器隔離。
推薦理由
AWS 推出基於 Graviton5 的 M9g/M9gd 例項，配備正式驗證的 Nitro 隔離引擎，提供雲端使用者更高效能與數學保證的安全隔離，並開源驗證工具，促進雲端安全與效能的雙贏。
信源出處amazon.science
EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation
本文為 888news 精選之重點導讀。若需閱讀作者完整原文、技術細節與官方討論，請前往原始網站。
來源： Amazon Science (amazon.science)
開啟原文