Work

Non-Interference for Deterministic Interactive Programs

Year: 2009

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-01465-9_4

Authors: David Clark, Sebastian Hunt

Institutions: King's College London, City, University of London

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Engineering and Physical Sciences Research Council

Awards: G145165526, Quantitative Information Flow, G6620859326, Quantitative Information Flow

OpenAlex ID: W1920159904

FWCI: 2.16

Cites: 20

Cited by: 53

Related to: 10