Content dependent information flow control
type: Item
instance of: scholarly article
title: Content dependent information flow control
zbMATH Open document ID: 1359.68050
author: Hanne Riis Nielson
author: Flemming Nielson
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2017-02-22T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 6688098
zbMATH Keywords: information flow control
zbMATH Keywords: content-dependent policies
zbMATH Keywords: type systems
zbMATH Keywords: Hoare logic
zbMATH Keywords: instrumented semantics
zbMATH Keywords: non-interference
Wikidata QID: Q51540396
describes a project that uses: Paragon
MaRDI profile type: Publication
full work available at URL: j.jlamp.2016.09.005
OpenAlex ID: W2522646173
cites work: Static Analysis
cites work: A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow
cites work: An Axiomatic Approach to Information Flow in Programs
cites work: Ten Years of Hoare's Logic: A Survey—Part I
cites work: Ten years of Hoare's logic: A survey. II: Nondeterminism
cites work: Secure Information Flow as a Safety Property
cites work: Paralocks
cites work: Certification of programs for secure information flow
cites work: Q4411543
cites work: Critical points of the linear entropy for pureL-qubit states
cites work: Hoare Logic for Disjunctive Information Flow
cites work: A structural approach to operational semantics
DOI: 10.1016/J.JLAMP.2016.09.005
DBLP publication ID: journals/jlp/NielsonN17
description: scientific article; zbMATH DE number 6688098