Intransitive Noninterference in Dependence Graphs. - Christian Hammer 001; Jens Krinke; Frank Nodes (ISoLA, 2006)