--- a/publications.html	Sat Nov 23 02:30:00 2013 +0000
+++ b/publications.html	Sat Dec 14 19:51:21 2013 +1100
@@ -120,6 +120,8 @@
 <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 Volume 8307 of Lecture Notes in Computer Science.
+      Pages 292-307.
+      &copy <A HREF="http://link.springer.com/chapter/10.1007/978-3-319-03545-1_19">Springer Verlag</A>
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rc.pdf">pdf</A>]
 </TD>
 </TR>
@@ -495,7 +497,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Wed Oct  9 14:20:14 BST 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sat Dec 14 19:50:32 EST 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>