Dynamic Updating of Information-Flow Policies

  title={Dynamic Updating of Information-Flow Policies},
  author={Michael Hicks and Stephen Tse and Boniface Hicks and Steve Zdancewic},
Applications that manipulate sensitive information should ensure end-to-endsecurity by satisfying two properties:sound executionand some form of noninterference . By the former, we mean the program should always perform actions in keeping with its current policy, and by the latter we mean that these actions should never cause high-security information to be visible to a low-security observer. Over the last decade, securitytyped languages have been developed that exhibit these properties… CONTINUE READING
Highly Cited
This paper has 50 citations. REVIEW CITATIONS
37 Citations
22 References
Similar Papers


Publications citing this paper.

51 Citations

Citations per Year
Semantic Scholar estimates that this publication has 51 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 22 references

Myers , Andrei Sabelfeld , and Steve Zdancewic . Enforcing Robust Declassification

  • Benjamin Pierce
  • Types and Programming Languages
  • 2002

Similar Papers

Loading similar papers…