On Confidentiality and Formal Methods

Banks, Michael J (2012) On Confidentiality and Formal Methods. PhD thesis, University of York.

Abstract

Metadata

Keywords: formal methods, information flow security, confidentiality properties, Unifying Theories of Programming, Circus, multi-user systems
Awarding institution: University of York
Academic Units: The University of York > Computer Science (York)
Identification Number/EthosID (e.g. uk.bl.ethos.123456): uk.bl.ethos.557225
Depositing User: Mr Michael J Banks
Date Deposited: 18 Sep 2012 10:20
Last Modified: 08 Sep 2016 13:01

Download

thesis

Filename: thesis.pdf

Licence: Creative Commons Attribution Non-commercial No Derivatives (UK)

Share / Export


You do not need to contact us to get a copy of this thesis. Please use the 'Download' link(s) above to get a copy.
You can contact us about this thesis. If you need to make a general enquiry, please see the Contact us page.