在ring0中运行的应用程序可否安全无需正式验证？

Question

如何确保安全性，而无需对ring0中运行的程序进行正式验证？虚拟机可以在没有不同的用户空间内核空间的情况下使用吗？

Answer 1

问题是稍显混乱，但我会尽我所能回答。

运行在特权模式下不受信任的代码是不可能在这个意义上，大多数人都明白它是“安全的”。然而，正如你正确地猜测，有可能使用类似于虚拟机的东西来缓和不可信进程在该环境中可能采取的行动。这是现代“虚拟机管理程序”运行的原则 - 访问硬件（或存储器）由某种“监视器”软件或硬件控制。

这就是说，如果你正在服用这种做法，很可能是这种情况，该虚拟机的形式验证是非常可取的。否则，恶意构建的程序似乎有可能找到逃离虚拟机的方式，或使虚拟机以不希望的方式运行。

合理的现代的方法解决这个问题是使用携带证明代码，其中一块不受信任的代码与它携带机器可检查的证据证明它可以根据一些安全策略的行为。所有主机操作系统在这一点上需要做的是检查代码证明（合理计算便宜的操作），然后无需虚拟化或执行任何运行时检查就可以安全地运行代码。