# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1388225547 0
# Node ID c70342f08326457d4b40d13dd80790dbeb9c0dd6
# Parent  525c512629c72d0cd855d3827bdfeaa36f936ee1
deleted old questions

diff -r 525c512629c7 -r c70342f08326 hws/hw05.pdf
Binary file hws/hw05.pdf has changed
diff -r 525c512629c7 -r c70342f08326 hws/hw05.tex
--- a/hws/hw05.tex	Tue Dec 10 16:56:59 2013 +0000
+++ b/hws/hw05.tex	Sat Dec 28 10:12:27 2013 +0000
@@ -27,23 +27,23 @@
 \end{tabular}
 \end{center}
 
-\item Give a justification for the derived rule
-\begin{center}
-\begin{tabular}{c}
-$\Gamma \vdash P\;\mapsto\;Q$ \hspace{4mm} $\Gamma \vdash P\;\textit{says}\;F$\\\hline
-$\Gamma \vdash Q\;\textit{says}\;F$
-\end{tabular}
-\end{center}
+%\item Give a justification for the derived rule
+%\begin{center}
+%\begin{tabular}{c}
+%$\Gamma \vdash P\;\mapsto\;Q$ \hspace{4mm} $\Gamma \vdash P\;\textit{says}\;F$\\\hline
+%$\Gamma \vdash Q\;\textit{says}\;F$
+%\end{tabular}
+%\end{center}
 
-\item Model formally the situation that a customer has bought a ticket and requests to see a
-movie. For this suppose three principals, {\it Ticket}, {\it Customer} and {\it Cinema},
-and suppose an authorization 
-\begin{center}
-$\textit{Permitted}(\textit{Customer}, \textit{sees\_movie})$.
-\end{center}
-Using access-control logic, give formulas for a {\it Customer}'s access
-request, an access-control policy of the {\it Cinema}, a trust assumption
-and a ticket rule.
+%\item Model formally the situation that a customer has bought a ticket and requests to see a
+%movie. For this suppose three principals, {\it Ticket}, {\it Customer} and {\it Cinema},
+%and suppose an authorization 
+%\begin{center}
+%$\textit{Permitted}(\textit{Customer}, \textit{sees\_movie})$.
+%\end{center}
+%Using access-control logic, give formulas for a {\it Customer}'s access
+%request, an access-control policy of the {\it Cinema}, a trust assumption
+%and a ticket rule.
 
 \item Assume $\Gamma$ is a set consisting of the three formulas:
 \begin{center}