1) Partition Kernel(PK)
分区内核
1.
This paper focuses on the research of the security embedded architecture for the Partition Kernel(PK).
针对基于分区内核的安全嵌入式体系进行研究,提出一种分区内核的形式化定义,根据该形式化定义对分区内核的隔离安全性进行证明。
2) kernel partitioning technology
内核分区技术
1.
We call this technology as kernel partitioning technology.
操作系统级分区在操作系统内核中实现，它通过虚拟化操作系统的应用程序执行环境而不是物理硬件达到分区功能，我们称这种技术为内核分区技术。
3) inter kernel area
内核心区
4) inkernel area
内核芯区
5) analysis kernel
分析内核
补充资料：分区
分区
即对整体或某一器官的进一步区分。这便于诊断和鉴别诊断。临床用体有标志将某一区域再分成若干区，如*腹部分区，胃的分区等。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条