Questions:
Reading up & writing down restrictions - Bell-LaPadula model
1. What is the effect of reading up and writing down restrictions imposed by the Bell-LaPadula model? And what is the effect of reading down and writing up restrictions imposed by the Biba model?
2. Choose one of your favourite operating systems (e.g. Windows 2000/XP/Vista or UNIX) and compare its security policy with the Clark-Wilson model. Does its security mechanism satisfy Clark-Wilson axioms?
An optional homework (not required for submission - work on it only if you have time):
3. Compare the Bell-LaPadula and Clark-Wilson models. List one or two applications of these protocols that you can imagine. Can one model be implied by the other? If not, is it possible to design a system to satisfy both models?