以下关于BLP安全模型的表述中， 错误的是（）

A、BLP模型既有自主访问控制，又有强制访问控制

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

C、BLP模型控制信息只能由高向低流动

D、BLP是一种多级安全策略模型

参考答案：C

参考解析：BLP(Bell-La Padula 模型) 是安全访问控制的一种模型，是基于自主访问控制和强制访问控制两种方式实现的。它是一种严格的形式化描述，控制信息只能由低向高流动。它反映了多级安全策略的安全特性。