Checking secure information flow in Java bytecode by code transformation and standard bytecode verification.

Cinzia Bernardeschi Nicoletta De Francesco Giuseppe Lettieri Luca Martini Checking secure information flow in Java bytecode by code transformation and standard bytecode verification. 1225-1255 2004 34 Softw., Pract. Exper. 13 http://dx.doi.org/10.1002/spe.611 db/journals/spe/spe34.html#BernardeschiFLM04