Home > CS177 > Homework 6
Good luck on your finals!
The big problem here was thinking that compartments would have no effect. They do, but the effect is undesired.
no notes
Many people thought i(S) < i(O) in order for the level of the subject to not change. In fact it's i(S) <= i(O).
no notes
Separation of Duty does NOT mean you only get the resources necessary to perform your tasks. It means that critical tasks should be performed by more than one person when it takes more than 1 step.
The expected solution was to map the problem to the undecidable halting problem through a formal proof. Most other proof techniques got many points since I graded this rather leniently.
Home > CS177 > Homework 6