|
|
Toby Murray: Publications
by date |
by title |
by type |
bibtex
|
[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) 2008.
To appear.
Details
|
BibTeX
| Link (pdf) |
|
[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) |
|
[4]
|
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) |
|
[5]
|
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) |
|
|
|
|
