Class-level Non-Interference - Zanardini, Damiano; (New Generation Computing, 2012)