Improving the Semantics of Imperfect Security

摘要

Information flow policies that evolve over time (including, for example, declassifica-tion) are widely recognised as an essential ingredient in useable information flow control system. In previous work ([BS06a, BS06b]) we have shown one approach to such policies, flow locks, which is a very general and flexible system capable of encoding many other proposed approaches.