Toby Murray: Publications

[1]	An Overview of the Annex System Duncan Grove et al. In Proceedings of the Twenty-Third Annual Computer Security Applications Conference (ACSAC'07) 2007. Details \| BibTeX \| Link (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. Details \| BibTeX \| Link (pdf)

[3]	Analysing the Information Flow Properties of Object-Capability Patterns Toby Murray, Gavin Lowe In Proceedings of the Sixth International Workshop on Formal Aspects of Security and Trust (FAST2009) 2009. To appear. Details \| BibTeX \| Link (pdf)

[4]	Authority Analysis for Least Privilege Environments Toby Murray, Gavin Lowe In Proceedings of Foundations of Computer Security and Automated Reasoning for Security Protocol Analysis (FCS-ARSPA'07) 2007. Details \| BibTeX \| Link (pdf)

[5]	Non-Delegatable Authorities in Capability Systems Toby Murray, Duncan Grove Journal of Computer Security, Vol. 16, No. 6, pages 743-759. 2008. Details \| BibTeX \| Link (pdf) \| DOI (10.3233/JCS-2008-0314)

[6]

On Refinement-Closed Security Properties and Nondeterministic Compositions

Toby Murray, 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 | Link (pdf) | DOI (10.1016/j.entcs.2009.08.017)