equal
deleted
inserted
replaced
113 Theorem Proving (ITP 2013). In Volume 7998 of Lecture Notes in |
113 Theorem Proving (ITP 2013). In Volume 7998 of Lecture Notes in |
114 Computer Science. Pages 147-162. |
114 Computer Science. Pages 147-162. |
115 © <A HREF="http://link.springer.com/chapter/10.1007/978-3-642-39634-2_13">Springer Verlag</A> |
115 © <A HREF="http://link.springer.com/chapter/10.1007/978-3-642-39634-2_13">Springer Verlag</A> |
116 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/tm.pdf">pdf</A>]<BR><BR> |
116 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/tm.pdf">pdf</A>]<BR><BR> |
117 |
117 |
118 (The phrase in the abstract is meant to say " we tie the knot ... ". This typo |
118 (The phrase in the abstract is meant to say "we tie the knot ... ". This typo |
119 is corrected in the version above.) |
119 is corrected in the version above.) |
120 |
120 |
121 <p><B>A Formal Model and Correctness Proof for an Access Control Policy Framework.</B> |
121 <p><B>A Formal Model and Correctness Proof for an Access Control Policy Framework.</B> |
122 (with Wu and Zhang) In Proceedings of the 3rd Conference on Certified Programs |
122 (with Wu and Zhang) In Proceedings of the 3rd Conference on Certified Programs |
123 and Proofs (CPP 2013). In Lecture Notes in Computer Science. |
123 and Proofs (CPP 2013). In Lecture Notes in Computer Science. |
493 </TR> |
493 </TR> |
494 |
494 |
495 |
495 |
496 </TABLE> |
496 </TABLE> |
497 <P> |
497 <P> |
498 <!-- hhmts start --> Last modified: Tue Sep 3 14:03:54 BST 2013 <!-- hhmts end --> |
498 <!-- hhmts start --> Last modified: Tue Sep 3 14:11:12 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> |