在ring0中運行的應用程序可否安全無需正式驗證？

Question

如何確保安全性，而無需對ring0中運行的程序進行正式驗證？虛擬機可以在沒有不同的用戶空間內核空間的情況下使用嗎？

Answer 1

問題是稍顯混亂，但我會盡我所能回答。

運行在特權模式下不受信任的代碼是不可能在這個意義上，大多數人都明白它是「安全的」。然而，正如你正確地猜測，有可能使用類似於虛擬機的東西來緩和不可信進程在該環境中可能採取的行動。這是現代「虛擬機管理程序」運行的原則 - 訪問硬件（或存儲器）由某種「監視器」軟件或硬件控制。

這就是說，如果你正在服用這種做法，很可能是這種情況，該虛擬機的形式驗證是非常可取的。否則，惡意構建的程序似乎有可能找到逃離虛擬機的方式，或使虛擬機以不希望的方式運行。

合理的現代的方法解決這個問題是使用攜帶證明代碼，其中一塊不受信任的代碼與它攜帶機器可檢查的證據證明它可以根據一些安全策略的行爲。所有主機操作系統在這一點上需要做的是檢查代碼證明（合理計算便宜的操作），然後無需虛擬化或執行任何運行時檢查就可以安全地運行代碼。