An Epistemic Formulation of Information Flow Security ( Draft , Under Review )

@inproceedings{Ahmad2013AnEF,
  title={An Epistemic Formulation of Information Flow Security ( Draft , Under Review )},
  author={Arbob Ahmad and Robert Harper},
  year={2013}
}
The non-interference (NI) property defines a program to be secure if changes to high-security inputs cannot alter the values of lowsecurity outputs. NI indirectly states the epistemic property that no low-security principal acquires knowledge of high-security data. We consider a directly epistemic account of information flow (IF) security focusing on the… CONTINUE READING