TY  - RPRT
TI  - Complexity and Unwinding for Intransitive Noninterference
AU  - Sebastian Eggert
AU  - Ron van der Meyden
AU  - Henning Schnoor
AU  - Thomas Wilke
PY  - 2013
UR  - https://arxiv.org/abs/1308.1204
ID  - 1308.1204
ER  -