Work

Java bytecode verification for secure information flow

Year: 2003

Type: article

Source: ACM SIGPLAN Notices

DOI: 10.1145/966051.966055

Authors: Marco Avvenuti, Cinzia Bernardeschi, Nicoletta De Francesco

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

FWCI: 3.479

Cites: 20

Cited by: 36

Related to: 10