# HG changeset patch # User Christian Urban <christian dot urban at kcl dot ac dot uk> # Date 1378213877 -3600 # Node ID 2e80c480ec7e7eb35374a400f661b45a4bfa7639 # Parent 90f4682c43431f670f1774dcf5b6186e049453c2 typo 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 @@ © <A HREF="http://link.springer.com/chapter/10.1007/978-3-642-39634-2_13">Springer Verlag</A> [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/tm.pdf">pdf</A>]<BR><BR> - (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.) <p><B>A Formal Model and Correctness Proof for an Access Control Policy Framework.</B> @@ -495,7 +495,7 @@ </TABLE> <P> -<!-- hhmts start --> Last modified: Tue Sep 3 14:03:54 BST 2013 <!-- hhmts end --> +<!-- hhmts start --> Last modified: Tue Sep 3 14:11:12 BST 2013 <!-- hhmts end --> <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> </BODY>