Toby Murray : Publications
-
[1]
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 about Analysing the Information Flow Properties of Object−Capability Patterns | BibTeX data for Analysing the Information Flow Properties of Object−Capability Patterns | Download (pdf) of Analysing the Information Flow Properties of Object−Capability Patterns | DOI (10.1007/978-3-642-12459-4_7)
-
[2]
Analysing the Security Properties of Object−Capability Patterns
Toby Murray
PhD Thesis University of Oxford. 2010.
Details about Analysing the Security Properties of Object−Capability Patterns | BibTeX data for Analysing the Security Properties of Object−Capability Patterns | Download (pdf) of Analysing the Security Properties of Object−Capability Patterns
-
[3]
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 about On Refinement−Closed Security Properties and Nondeterministic Compositions | BibTeX data for On Refinement−Closed Security Properties and Nondeterministic Compositions | Download (pdf) of On Refinement−Closed Security Properties and Nondeterministic Compositions | DOI (10.1016/j.entcs.2009.08.017)
-
[4]
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 about Non−Delegatable Authorities in Capability Systems | BibTeX data for Non−Delegatable Authorities in Capability Systems | Download (pdf) of Non−Delegatable Authorities in Capability Systems | DOI (10.3233/JCS-2008-0314)
-
[5]
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 about Analysing Object−Capability Security | BibTeX data for Analysing Object−Capability Security | Download (pdf) of Analysing Object−Capability Security
-
[6]
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 about An Overview of the Annex System | BibTeX data for An Overview of the Annex System | Download (pdf) of An Overview of the Annex System | DOI (10.1109/ACSAC.2007.8)
-
[7]
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.
Details about Authority Analysis for Least Privilege Environments | BibTeX data for Authority Analysis for Least Privilege Environments | Download (pdf) of Authority Analysis for Least Privilege Environments