一种基于Intel MPK与单步模式的Enclave沙盒系统

摘要

本发明公开一种基于Intel MPK与单步模式的Enclave沙盒系统，其包括数据访问限制、控制流跳转限制和WRPKRU指令出现检测等三个模块。通过利用Intel处理器中已有的MPK和单步模式硬件特性分别限制Enclave对宿主程序的任意数据访问能力和任意控制流跳转能力。同时WRPKRU指令出现检测模块利用代码扫描技术确保Enclave在整个生命周期中都不会有能够绕过MPK数据访问限制的WRPKRU指令出现。本发明基于已有硬件，实现针对Enclave的高效率沙盒系统，可以直接应用到已有Intel处理器平台并提高安全性，对系统性能影响小。