Information flow, distributed systems, and refinement, by example

DOI10.1007/978-3-319-51046-0_5MaRDI QIDQ1708712zbMATH OpenOpenAlexFDO

Authors Joshua D. Guttman

Publication date 26 March 2018

Full work available at URL https://doi.org/10.1007/978-3-319-51046-0_5

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer security (68M25)

Recommendations

• Communicating Sequential Processes. The First 25 Years
• Non-interference through determinism
• A noninterference model for nondeterministic systems
• scientific article; zbMATH DE number 1759625
• Semantic models for information flow

Cited in

(2)

• Non-interference through determinism
• Communicating Sequential Processes. The First 25 Years

This page was built for publication: Information flow, distributed systems, and refinement, by example

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