Using Standard Verifier to Check Secure Information Flow in Java Bytecode.

Cinzia Bernardeschi Nicoletta De Francesco Giuseppe Lettieri Using Standard Verifier to Check Secure Information Flow in Java Bytecode. 850-855 2002 conf/compsac/2002 COMPSAC http://doi.ieeecomputersociety.org/10.1109/CMPSAC.2002.1045113 db/conf/compsac/compsac2002.html#BernardeschiFL02