单项选择题

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