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