A Security Policy is a statement that partitions the states of the system into a set of authorized, or secure, states and a set of unauthorized, or non-secure, states.
a) How would you define a secure system in the BLP model (with respect to the state of the system)?
b) The 4 components b, M, f, and H make up the state of the system in a BLP model. For any two of these identify what they have been interpreted to correspond to, in Multics?