End-to-end availability policies and noninterference

  title={End-to-end availability policies and noninterference},
  author={Lantian Zheng and Andrew C. Myers},
  journal={18th IEEE Computer Security Foundations Workshop (CSFW'05)},
This paper introduces the use of static information flow analysis for the specification and enforcement of end-to-end availability policies in programs. We generalize the decentralized label model, which is about confidentiality and integrity, to also include security policies for availability. These policies characterize acceptable risks by representing… CONTINUE READING