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