# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1384716177 0
# Node ID e4fda36422dd2ca5a32ca7733a61bdb3133e9b25
# Parent  3342571ec447a7923e14b3055d0f8332d8a5a763
added

diff -r 3342571ec447 -r e4fda36422dd hws/hw06.pdf
Binary file hws/hw06.pdf has changed
diff -r 3342571ec447 -r e4fda36422dd hws/hw06.tex
--- a/hws/hw06.tex	Tue Nov 12 21:15:23 2013 +0000
+++ b/hws/hw06.tex	Sun Nov 17 19:22:57 2013 +0000
@@ -16,8 +16,6 @@
 where $P$ is a principal and $F$ a formula. Give two inference rules
 of access-control logic involving $\textit{says}$.
 
-\item (Removed) Was already used in HW 5
-
 \item 
 Assume an access control logic with security levels, say top secret ({\it TS}),
 secret ({\it S}) and public ({\it P}), with