diff -r 90f4682c4343 -r 2e80c480ec7e publications.html --- a/publications.html Tue Sep 03 14:04:44 2013 +0100 +++ b/publications.html Tue Sep 03 14:11:17 2013 +0100 @@ -115,7 +115,7 @@ © Springer Verlag [pdf]

- (The phrase in the abstract is meant to say " we tie the knot ... ". This typo + (The phrase in the abstract is meant to say "we tie the knot ... ". This typo is corrected in the version above.)

A Formal Model and Correctness Proof for an Access Control Policy Framework. @@ -495,7 +495,7 @@

- Last modified: Tue Sep 3 14:03:54 BST 2013 + Last modified: Tue Sep 3 14:11:12 BST 2013 [Validate this page.]