【单选题】

以下哪一项不是 BLP模型的主要任务

A. 定义使得系统获得“安全”的状态集合
B. 检查所有状态的变化均始于一个“安全状态”并终止于另一个“安全状态
C. 检查系统的初始状态是否为“安全状态”
D. 选择系统的终止状态