article · Software Practice and Experience · 2004
Checking secure information flow in Java bytecode by code transformation and standard bytecode verification
Cinzia Bernardeschi, N. De Francesco, Giuseppe Lettieri, Luca Martini
Cited by 15Abstract and details only
Abstract
Abstract A method is presented for checking secure information flow in Java bytecode, assuming a multilevel security policy that assigns security levels to the objects. The method exploits the type‐level abstract interpretation of standard bytecode verification to detect illegal information flows. We define an algorithm transforming the original code into another code in such a way that a typing error detected by the Verifier on the transformed code corresponds to a possible illicit information flow in the original code. We present a prototype tool that implements the method and we show an example of application. Copyright © 2004 John Wiley & Sons, Ltd.
Cite this paper
Bernardeschi, C., De Francesco, N., Lettieri, G., & Martini, L. (2004). Checking secure information flow in Java bytecode by code transformation and standard bytecode verification. Software Practice and Experience, 34(13), 1225–1255. https://doi.org/10.1002/spe.611
Bernardeschi, Cinzia, et al. “Checking secure information flow in Java bytecode by code transformation and standard bytecode verification.” Software Practice and Experience, vol. 34, no. 13, 2004, pp. 1225–55, https://doi.org/10.1002/spe.611.
Bernardeschi, Cinzia, N. De Francesco, Giuseppe Lettieri, and Luca Martini. 2004. “Checking secure information flow in Java bytecode by code transformation and standard bytecode verification.” Software Practice and Experience 34 (13): 1225–55. https://doi.org/10.1002/spe.611.
Bernardeschi, C. et al. (2004) ‘Checking secure information flow in Java bytecode by code transformation and standard bytecode verification’, Software Practice and Experience, 34(13), pp. 1225–1255. Available at: https://doi.org/10.1002/spe.611.
@article{bernardeschi2004checking,
title = {{Checking secure information flow in Java bytecode by code transformation and standard bytecode verification}},
author = {Bernardeschi, Cinzia and De Francesco, N. and Lettieri, Giuseppe and Martini, Luca},
journal = {Software Practice and Experience},
volume = {34},
number = {13},
pages = {1225--1255},
year = {2004},
doi = {10.1002/spe.611}
}Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.