Intransitive Noninterference in Dependence Graphs.

Christian Hammer, Jens Krinke, Frank Nodes

Browse the full ISoLA paper archive.