Work

Noninterference and the composability of security properties

Year: 2003

Type: conference-paper

Source: IEEE Symposium on Security and Privacy (S&P)

DOI: 10.1109/secpri.1988.8110

Author: D. McCullough

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

SDG: Peace, justice, and strong institutions

Open Access status: closed

OpenAlex ID: W2136898254

FWCI: 9.655

Cites: 3

Cited by: 268

Related to: 10