A.安全内核有一组机制构成,这个机制列入到了TCB、工具和引用监控概念的实施
B.安全内核是一个访问控制概念,不是一个实际的物理该控制
C.安全内核必须提供隔离,为执行引用控制流程和他们必须防止被篡改
D.安全内核必须是很小的,足够能够以完整和负责方式被测试和验证
A.安全内核是一个访问控制的概念,和实际物理组件无关
B.安全内核组成的机制属于TCB,用于执行和强制引用监视器概念
C.安全内核必须为提供隔离进行参考监视器概念的过程,他们必须具有防篡改性
D.安全内核必须足够小以便可以以完整和全面的方式进行检测和证明