--- 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>