Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage.

David von Oheimb Information Flow Control Revisited: Noninfluence = Noninterference + Nonleakage. 225-243 http://dx.doi.org/10.1007/978-3-540-30108-0_14 2004 conf/esorics/2004 ESORICS db/conf/esorics/esorics2004.html#Oheimb04