Toby Murray : Publications
|
[1] |
An Overview of the Annex System Duncan Grove‚ Toby Murray‚ Chris Owen‚ Chris North‚ Jeremy Jones‚ M.R. Beaumont and B.D. Hopkins In Proceedings of the Twenty−Third Annual Computer Security Applications Conference (ACSAC'07). 2007. Details | BibTeX | Download (pdf) | DOI (10.1109/ACSAC.2007.8) |
|
[2] |
Analysing Object−Capability Security Toby Murray In Proceedings of the Joint Workshop on Foundations of Computer Security‚ Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (FCS−ARSPA−WITS'08). 2008. |
|
[3] |
Analysing the Information Flow Properties of Object−Capability Patterns Toby Murray and Gavin Lowe In Proceedings of the Sixth International Workshop on Formal Aspects of Security and Trust (FAST2009). Vol. 5983 of Lecture Notes in Computer Science. Pages 81−95. 2010. Details | BibTeX | Download (pdf) | DOI (10.1007/978-3-642-12459-4_7) |
|
[4] |
Analysing the Security Properties of Object−Capability Patterns Toby Murray PhD Thesis University of Oxford. 2010. |
|
[5] |
Authority Analysis for Least Privilege Environments Toby Murray and Gavin Lowe In Proceedings of Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS−ARSPA'07). 2007. |
|
[6] |
Non−Delegatable Authorities in Capability Systems Toby Murray and Duncan Grove In Journal of Computer Security. Vol. 16. No. 6. Pages 743−759. 2008. Details | BibTeX | Download (pdf) | DOI (10.3233/JCS-2008-0314) |
|
[7] |
On Refinement−Closed Security Properties and Nondeterministic Compositions Toby Murray and Gavin Lowe In Proceedings of the Eighth International Workshop on Automated Verification of Critical Systems (AVoCS '08). Vol. 250 of Electronic Notes in Theoretical Computer Science. No. 2. Pages 49−68. 2009. Details | BibTeX | Download (pdf) | DOI (10.1016/j.entcs.2009.08.017) |