Hoare logic for disjunctive information flow
From MaRDI portal
Publication:3460862
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
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)
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)