"Information Flow Analysis for Java Bytecode."

Samir Genaim, Fausto Spoto (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics