单项选择题

A.安全内核是一个访问控制的概念,和实际物理组件无关
B.安全内核组成的机制属于TCB ,用于执行和强制引用监视器概念
C.安全内核必须为提供隔离进行参考监视器概念的过程,他们必须具有防篡改性
D.安全内核必须足够小以便可以以完整和全面的方式进行检测和证明