Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/spe/BernardeschiFLM04
AU - Bernardeschi, Cinzia
AU - Francesco, Nicoletta De
AU - Lettieri, Giuseppe
AU - Martini, Luca
TI - Checking secure information flow in Java bytecode by code transformation and standard bytecode verification.
JO - Softw. Pract. Exp.
VL - 34
IS - 13
SP - 1225
EP - 1255
PY - 2004//
DO - 10.1002/SPE.611
UR - https://doi.org/10.1002/spe.611
ER -
