Security: Publications

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

[2]

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)

[3]	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]	Separating two roles of hashing in one-way message authentication L.H. Nguyen, A.W. Roscoe In Proceedings of FCS-ARSPA-WITS 2008. (This version is extended by appendices not present in proceedings.). Details \| BibTeX \| Download (pdf)

[5]	Authenticating ad hoc networks by comparison of short digests A. W. Roscoe, L. H. Nguyen Information and Computation, Vol. 206, pages 250-271. 2008. Details \| BibTeX \| Link (pdf)

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

[7]	Analysing TLS in the Strand Spaces Model Allaa Kamil, Gavin Lowe Technical Report, 2008. Details \| BibTeX \| Download (pdf)

[8]	On the Specication and Analysis of Secure Transport Layers Christopher Dilloway PhD Thesis, Oxford University Computing Laboratory. 2008. Details \| BibTeX \| Link (pdf)

[9]	Chaining Secure Channels (Technical Report) Christopher Dilloway Technical Report, 2008. Details \| BibTeX \| Download (pdf)

[10]	Specifying Secure Transport Layers Christopher Dilloway, Gavin Lowe In 21st IEEE Computer Security Foundations Symposium (CSF 21) 2008. Details \| BibTeX \| Download (pdf)

[11]	On Information Flow and Refinement-Closure Gavin Lowe In Proceedings of the Workshop on Issues in the Theory of Security (WITS '07) 2007. Details \| BibTeX \| Link (pdf)

[12]	On the Specification of Secure Channels Christopher Dilloway, Gavin Lowe In Proceedings of the Workshop on Issues in the Theory of Security (WITS '07) 2007. Details \| BibTeX \| Download (pdf)

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

[14]	Derivation of Error Distribution in Least Squares Steganalysis Andrew Ker No. RR-06-03, Technical Report, Oxford University Computing Laboratory. July 2006. Details \| BibTeX \| Download (pdf)