Previous
Top
References
David von Oheimb.
Information flow control revisited: Noninfluence = Noninterference + Nonleakage
. LNCS 2004.
[Rus92] John Rushby. Noninterference, Transitivity, and Channel-Control Security Policies. Technical Report CS-92-02, SRI International, 1992.