Toby Murray: Publications

[1]

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)

[2]	Analysing the Information Flow Properties of Object-Capability Patterns Toby Murray, Gavin Lowe 2009. Submitted to the Sixth International Workshop on Formal Aspects of Security and Trust (FAST 2009). Details \| BibTeX \| Link (pdf)

[3]	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)

[4]	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)

[5]	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)

[6]	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)