TY  - RPRT
TI  - Noninterference with Local Policies
AU  - Sebastian Eggert
AU  - Henning Schnoor
AU  - Thomas Wilke
PY  - 2013
UR  - https://arxiv.org/abs/1208.5580
ID  - 1208.5580
ER  -