以下關于BLP安全模型的表述中， 錯誤的是( )
A.BLP模型既有自主訪問控制，又有強制訪問控制
B.BLP模型是一個嚴格形式化的模型，并給出了形式化的證明
C.BLP模型控制信息只能由高向低流動
D.BLP是一種多級安全策略模型