BLP模型是1973年提出的一种对应于军事类型安全密级分类的计算机操作系统模型 以下关于其说法正确的是()

BLP模型是1973年提出的一种对应于军事类型安全密级分类的计算机操作系统模型，以下关于其说法正确的是()

A.BLP模型是最早的一种安全模型，也是最有名的多级安全策略模型

B.BLP模型是一个严格形式化的模型，并给出了形式化的证明

C.既有自主访问控制，又有强制访问控制

D.以上都是

请帮忙给出正确答案和分析，谢谢！