Work

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

Year: 2004

Type: article

Source: Software Practice and Experience

DOI: 10.1002/spe.611

Authors: C. Bernardeschi, N. De Francesco, G. Lettieri, L. Martini

Institution: University of Pisa

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2005334135

FWCI: 1.318

Cites: 34

Cited by: 17

Related to: 10