1. Assume a system enforces both the BLP and Biba properties. For BLP that means read down/write up only and for Biba it means read up/write down only. Assume also that two models use identical levels for both security and integrity
SL = security clearance for level L = integrity clearance for level L
SC = security category set for cat. C = integrity category set for cat C. Prove that in this system a subject can only read and write at his own level
2.a.In Lipner's model consider moving a program from development into production. What are the starting and ending security and integrity levels of this object
2b. Who in Lipner's model can make this change?
2c. Explain the reads and writes necessary to make this change and justify the read and write using Lipner's matrix.