Content dependent information flow control

DOI10.1016/j.jlamp.2016.09.005zbMath1359.68050OpenAlexW2522646173WikidataQ51540396 ScholiaQ51540396MaRDI QIDQ511927

Flemming Nielson, Hanne Riis Nielson

Publication date: 22 February 2017

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.09.005

zbMATH Keywords

type systemsHoare logicnon-interferenceinformation flow controlcontent-dependent policiesinstrumented semantics

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Secure Guarded Commands

Uses Software

• Paragon

Cites Work

• Unnamed Item
• Ten years of Hoare's logic: A survey. II: Nondeterminism
• A structural approach to operational semantics
• A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow
• Hoare Logic for Disjunctive Information Flow
• Secure Information Flow as a Safety Property
• An Axiomatic Approach to Information Flow in Programs
• Ten Years of Hoare's Logic: A Survey—Part I
• Certification of programs for secure information flow
• Critical points of the linear entropy for pureL-qubit states
• Paralocks
• Static Analysis

This page was built for publication: Content dependent information flow control