以下那一項不是BLP 模型的主要任務(wù):() A、定義使系統(tǒng)獲得“安全”的狀態(tài)集合 B、檢查所有狀態(tài)的變化均始于一個“安全狀態(tài)”并終止于另一個“安全狀態(tài)” C、檢查系統(tǒng)的初始狀態(tài)是否為“安全狀態(tài)” D、選擇系統(tǒng)的終止?fàn)顟B(tài)