# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1381325830 -3600
# Node ID 73661c18c4cd8db8e6bc7fe35e8dcf8e165ea65c
# Parent  0a1f30036726160ee0db3aa0494aeb4d2d4db6a7
added

diff -r 0a1f30036726 -r 73661c18c4cd publications.html
--- a/publications.html	Mon Oct 07 15:58:12 2013 +0100
+++ b/publications.html	Wed Oct 09 14:37:10 2013 +0100
@@ -119,7 +119,7 @@
   
 <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.
+      and Proofs (CPP 2013). In Volume 8307 of Lecture Notes in Computer Science.
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rc.pdf">pdf</A>]
 </TD>
 </TR>
@@ -495,7 +495,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Fri Sep 27 14:11:04 BST 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Wed Oct  9 14:20:14 BST 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>