A Theory of Information-Flow Labels

  title={A Theory of Information-Flow Labels},
  author={Beno{\^i}t Montagu and Benjamin C. Pierce and Randy Pollack},
  journal={2013 IEEE 26th Computer Security Foundations Symposium},
The security literature offers a multitude of calculi, languages, and systems for information-flow control, each with some set of labels encoding security policies that can be attached to data and computations. The exact form of these labels varies widely, with different systems offering many different combinations of features addressing issues such as confidentiality, integrity, and policy ownership. This variation makes it difficult to compare the expressive power of different information… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS