# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1377535351 -3600
# Node ID 45f0eb6c2f6e9eff0588ab2f0a2e0b8543a97361
# Parent  cc06aaf3a3a5955ebaaee3e0dbcd6cce7938e289
added CPP

diff -r cc06aaf3a3a5 -r 45f0eb6c2f6e publications.html
--- a/publications.html	Wed Aug 07 11:04:39 2013 +0100
+++ b/publications.html	Mon Aug 26 17:42:31 2013 +0100
@@ -113,6 +113,9 @@
       Theorem Proving (ITP 2013). In Volume 7998 of Lecture Notes in 
       Computer Science. Pages 147-162.
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/tm.pdf">pdf</A>]
+<p><B>A Formal Model and Correctness Proof for an Access Control Policy Framework.</B> 
+      (with Wu and Zhang) In Proceedings of the 3rd Conference on Certified Programs
+      and Proofs (CPP 2013). In Lecture Notes in Computer Science. 
 </TD>
 </TR>
 
@@ -487,7 +490,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sat Jun 15 09:01:22 EDT 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Mon Aug 26 17:42:18 BST 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>