Towards a General-Purpose Dynamic Information Flow Policy

Peixuan Li, Danfeng Zhang

Noninterference offers a rigorous end-to-end guarantee for secure propagation of information. However, real-world systems almost always involve security requirements that change du…