单项选择题

()是指用形式化的方法来描述如何实现系统的机密性、完整性和可用性。

A.安全内核
B.安全模型
C.安全策略
D.安全周边