CMV: automatic verification of complete mediation for java virtual machines. - A. Prasad Sistla; V. N. Venkatakrishnan; Michelle Zhou 002; Hilary Branske (AsiaCCS, 2008)