BLP機(jī)密性模型中,安全級的順序一般規(guī)定為:公開<秘密<機(jī)密<絕密。兩個范疇集之間的關(guān)系是包含、被包含或無關(guān)。如果一個BLP機(jī)密性模型系統(tǒng)訪問類下:
文件E訪問類:(機(jī)密:財務(wù)處,科技處};
文件F訪問類:(機(jī)密:人事處,財務(wù)處};
用戶A訪問類:{絕密:人事處};
用戶B訪問類:(絕密:人事處,財務(wù)處,科技處}。
則以下表述中,正確的是( )
A.用戶A不能讀文件F
B.用戶B不能讀文件F
C.用戶A能讀文件E
D.用戶B不能讀文件E