equal
deleted
inserted
replaced
65 Let $\Gamma$ be the set containing the following six formulas |
65 Let $\Gamma$ be the set containing the following six formulas |
66 \begin{center} |
66 \begin{center} |
67 \begin{tabular}{l} |
67 \begin{tabular}{l} |
68 \\ |
68 \\ |
69 $slev(\textit{S}) < slev(\textit{TS})$\smallskip\\ |
69 $slev(\textit{S}) < slev(\textit{TS})$\smallskip\\ |
70 $slev(\textit{Agent}) = \textit{TS}$\smallskip\\ |
70 $slev(\textit{Agent}) = slev(\textit{TS})$\smallskip\\ |
71 $slev(\textit{File}_1) = \textit{S}$\smallskip\\ |
71 $slev(\textit{File}_1) = slev(\textit{S})$\smallskip\\ |
72 $slev(\textit{File}_2) = \textit{TS}$\smallskip\\ |
72 $slev(\textit{File}_2) = slev(\textit{TS})$\smallskip\\ |
73 $\forall O.\;slev(O) < slev(\textit{Agent}) \Rightarrow |
73 $\forall O.\;slev(O) < slev(\textit{Agent}) \Rightarrow |
74 (\textit{Agent}\;\textit{controls}\;\textit{Permitted}(O, \textit{read}))$\smallskip\\ |
74 (\textit{Agent}\;\textit{controls}\;\textit{Permitted}(O, \textit{read}))$\smallskip\\ |
75 $\forall O.\;slev(O) = slev(\textit{Agent}) \Rightarrow |
75 $\forall O.\;slev(O) = slev(\textit{Agent}) \Rightarrow |
76 (\textit{Agent}\;\textit{controls}\;\textit{Permitted}(O, \textit{read}))$\\ |
76 (\textit{Agent}\;\textit{controls}\;\textit{Permitted}(O, \textit{read}))$\\ |
77 \\ |
77 \\ |