equal
deleted
inserted
replaced
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 Volume 8307 of Lecture Notes in Computer Science. |
122 and Proofs (CPP 2013). In Volume 8307 of Lecture Notes in Computer Science. |
|
123 Pages 292-307. |
|
124 © <A HREF="http://link.springer.com/chapter/10.1007/978-3-319-03545-1_19">Springer Verlag</A> |
123 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rc.pdf">pdf</A>] |
125 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rc.pdf">pdf</A>] |
124 </TD> |
126 </TD> |
125 </TR> |
127 </TR> |
126 |
128 |
127 |
129 |
493 </TR> |
495 </TR> |
494 |
496 |
495 |
497 |
496 </TABLE> |
498 </TABLE> |
497 <P> |
499 <P> |
498 <!-- hhmts start --> Last modified: Wed Oct 9 14:20:14 BST 2013 <!-- hhmts end --> |
500 <!-- hhmts start --> Last modified: Sat Dec 14 19:50:32 EST 2013 <!-- hhmts end --> |
499 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
501 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
500 |
502 |
501 </BODY> |
503 </BODY> |
502 </HTML> |
504 </HTML> |