试题详情

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

A定义使得系统获得“安全”的状态集合

B检查所有状态的变化均始于一个“安全状态”并终止于另一个“安全状态”

C检查系统的初始状态是否为“安全状态”

D选择系统的终止状态