Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini. Checking secure information flow in Java bytecode by code transformation and standard bytecode verification. Software: Practice and Experience, 34(13):1225-1255, 2004. [doi]
Abstract is missing.