Semantic models for information flow

DOI10.1016/J.TCS.2003.11.019MaRDI QIDQ1826632zbMATH OpenOpenAlexFDO

Authors Gavin Lowe

Publication date 6 August 2004

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://ora.ox.ac.uk/objects/uuid:1328535a-7eea-4448-bb1c-2675abff432c

Mathematics Subject Classification ID

Distributed systems (68M14) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Information flow in systems with schedulers. I: Definitions
• A semantic approach to secure information flow
• scientific article; zbMATH DE number 1692935
• A comparison of semantic models for noninterference
• Compile-time detection of information flow in sequential programs

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 45145 (Why is no real title available?)
• scientific article; zbMATH DE number 1884409 (Why is no real title available?)
• Refinement-oriented probability for CSP
• Semantic models for information flow
• Separability and the detection of hidden channels

Cited in

(6)

• scientific article; zbMATH DE number 1693432 (Why is no real title available?)
• Information flow in systems with schedulers. I: Definitions
• Automated synthesis of enforcing mechanisms for security properties in a timed setting
• Semantic models for information flow
• scientific article; zbMATH DE number 1534908 (Why is no real title available?)
• Information flow, distributed systems, and refinement, by example

This page was built for publication: Semantic models for information flow

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