equal
deleted
inserted
replaced
13 $P\;\textit{says}\;F$ |
13 $P\;\textit{says}\;F$ |
14 \end{center} |
14 \end{center} |
15 |
15 |
16 where $P$ is a principal and $F$ a formula. Give two inference rules |
16 where $P$ is a principal and $F$ a formula. Give two inference rules |
17 of access-control logic involving $\textit{says}$. |
17 of access-control logic involving $\textit{says}$. |
18 |
|
19 \item (Removed) Was already used in HW 5 |
|
20 |
18 |
21 \item |
19 \item |
22 Assume an access control logic with security levels, say top secret ({\it TS}), |
20 Assume an access control logic with security levels, say top secret ({\it TS}), |
23 secret ({\it S}) and public ({\it P}), with |
21 secret ({\it S}) and public ({\it P}), with |
24 \begin{center} |
22 \begin{center} |