Hoare Logic for Disjunctive Information Flow

DOI10.1007/978-3-319-25527-9_6zbMath1434.68095OpenAlexW2295217343WikidataQ59416298 ScholiaQ59416298MaRDI QIDQ3460862

Ximeng Li, Flemming Nielson, Hanne Riis Nielson

Publication date: 8 January 2016

Published in: Programming Languages with Applications to Biology and Security (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-25527-9_6

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Content dependent information flow control

Uses Software

• Paragon

Cites Work

• Ten years of Hoare's logic: A survey. II: Nondeterminism
• A generalization of Owicki-Gries's Hoare logic for a concurrent while language
• A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow
• Secure Information Flow as a Safety Property
• Program transformations in a denotational setting
• 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
• Paralocks