Work

Verifying information flow control in Java bytecodes

Year: 2000

Type: dissertation

Author: Nicholas A. Mathewson

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1582771298

Cites: 4

Cited by:

Related to: 10