# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1379859788 -3600
# Node ID af1aeec504cb741435cf58272a508fa29a131117
# Parent  d1d07f05325a341a55abeb0bf3d3de31e4a156f5# Parent  e6b34594d1e511219c095a79c1f2f50d5615086e
some updates

diff -r d1d07f05325a -r af1aeec504cb hw06.pdf
Binary file hw06.pdf has changed
diff -r d1d07f05325a -r af1aeec504cb hw06.tex
--- a/hw06.tex	Sun Sep 22 15:22:11 2013 +0100
+++ b/hw06.tex	Sun Sep 22 15:23:08 2013 +0100
@@ -67,9 +67,9 @@
 \begin{tabular}{l}
 \\
 $slev(\textit{S}) < slev(\textit{TS})$\smallskip\\
-$slev(\textit{Agent}) = \textit{TS}$\smallskip\\
-$slev(\textit{File}_1) = \textit{S}$\smallskip\\
-$slev(\textit{File}_2) = \textit{TS}$\smallskip\\
+$slev(\textit{Agent}) = slev(\textit{TS})$\smallskip\\
+$slev(\textit{File}_1) = slev(\textit{S})$\smallskip\\
+$slev(\textit{File}_2) = slev(\textit{TS})$\smallskip\\
 $\forall O.\;slev(O) < slev(\textit{Agent}) \Rightarrow 
 (\textit{Agent}\;\textit{controls}\;\textit{Permitted}(O, \textit{read}))$\smallskip\\
 $\forall O.\;slev(O) = slev(\textit{Agent}) \Rightarrow