Work

Automatic Derivation of Platform Noninterference Properties

Year: 2016

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-319-41591-8_3

Authors: Oliver Schwarz, Mads Dam

Institutions: Swedish Institute of Computer Science, KTH Royal Institute of Technology

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2481774527

FWCI: 1.09

Cites: 28

Cited by: 7

Related to: 10