diff -r cb7f2f627278 -r 1365df7bf19e publications.html --- 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 @@
A Formal Model and Correctness Proof for an Access Control Policy Framework. (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. + © Springer Verlag [pdf] @@ -495,7 +497,7 @@
- Last modified: Wed Oct 9 14:20:14 BST 2013 + Last modified: Sat Dec 14 19:50:32 EST 2013 [Validate this page.]