Integrity walls: finding attack surfaces from mandatory access control policies. - Hayawardh Vijayakumar; Guruprasad Jakka; Sandra Julieta Rueda; Joshua Schiffman; Trent Jaeger (AsiaCCS, 2012)