equal
deleted
inserted
replaced
117 (The phrase in the abstract is meant to say "we tie the knot ... ". This typo |
117 (The phrase in the abstract is meant to say "we tie the knot ... ". This typo |
118 is corrected in the version above.) |
118 is corrected in the version above.) |
119 |
119 |
120 <p><B>A Formal Model and Correctness Proof for an Access Control Policy Framework.</B> |
120 <p><B>A Formal Model and Correctness Proof for an Access Control Policy Framework.</B> |
121 (with Wu and Zhang) In Proceedings of the 3rd Conference on Certified Programs |
121 (with Wu and Zhang) In Proceedings of the 3rd Conference on Certified Programs |
122 and Proofs (CPP 2013). In Lecture Notes in Computer Science. |
122 and Proofs (CPP 2013). In Volume 8307 of Lecture Notes in Computer Science. |
123 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rc.pdf">pdf</A>] |
123 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rc.pdf">pdf</A>] |
124 </TD> |
124 </TD> |
125 </TR> |
125 </TR> |
126 |
126 |
127 |
127 |
493 </TR> |
493 </TR> |
494 |
494 |
495 |
495 |
496 </TABLE> |
496 </TABLE> |
497 <P> |
497 <P> |
498 <!-- hhmts start --> Last modified: Fri Sep 27 14:11:04 BST 2013 <!-- hhmts end --> |
498 <!-- hhmts start --> Last modified: Wed Oct 9 14:20:14 BST 2013 <!-- hhmts end --> |
499 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
499 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
500 |
500 |
501 </BODY> |
501 </BODY> |
502 </HTML> |
502 </HTML> |