Hoare logic for disjunctive information flow

DOI10.1007/978-3-319-25527-9_6MaRDI QIDQ3460862zbMATH OpenOpenAlexDBLPWikidataFDO

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

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)

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

Cites work

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

Cited in

(2)

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

Describes a project that uses

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)