Work

Using standard verifier to check secure information flow in Java bytecode

Year: 2003

Type: conference-paper

Source: IEEE Annual International Computer Software and Applications Conference (COMPSAC)

DOI: 10.1109/cmpsac.2002.1045113

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

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: W2143360726

FWCI: 1.376

Cites: 14

Cited by: 13

Related to: 10