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)

A、訪問(wèn)許可定義了改變?cè)L問(wèn)模式的能力或向其他主體傳送這種能力的能力
B、有主性訪問(wèn)許可是對(duì)每個(gè)客體設(shè)置一個(gè)擁有者，擁有者對(duì)其客體具有全部控制權(quán)限
C、等級(jí)型訪問(wèn)控制許可通常按照組織機(jī)構(gòu)人員結(jié)構(gòu)關(guān)系來(lái)設(shè)置主體對(duì)客體的控制權(quán)
D、有主性訪問(wèn)許可是對(duì)每個(gè)客體設(shè)置一個(gè)擁有者，但擁有者不是唯一有權(quán)修改客體訪問(wèn)控制表的主體