Hoare logic for disjunctive information flow

DOI10.1007/978-3-319-25527-9_6zbMATH Open1434.68095DBLPconf/birthday/NielsonNL15OpenAlexW2295217343WikidataQ59416298 ScholiaQ59416298MaRDI QIDQ3460862FDOQ3460862

Authors: Hanne Riis Nielson, Flemming Nielson, Ximeng Li 

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

Recommendations

• Content dependent information flow control
• Disjunctive Information Flow for Communicating Processes
• Static Analysis
• Secure information flow by self-composition
• Discretionary Information Flow Control for Interaction-Oriented Specifications

Mathematics Subject Classification ID

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

Cites Work

• Ten Years of Hoare's Logic: A Survey—Part I
• Secure Information Flow as a Safety Property
• Program transformations in a denotational setting
• Ten years of Hoare's logic: A survey. II: Nondeterminism
• An Axiomatic Approach to Information Flow in Programs
• A certificate infrastructure for machine-checked proofs of conditional information flow
• Certification of programs for secure information flow
• Paralocks, role-based information flow control and beyond
• A generalization of Owicki-Gries's Hoare logic for a concurrent while language

Cited In (2)

• Content dependent information flow control
• Disjunctive Information Flow for Communicating Processes

Uses Software

• Paragon

This page was built for publication: Hoare logic for disjunctive information flow

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3460862)