Semantic models for information flow

DOI10.1016/J.TCS.2003.11.019zbMath1072.68060OpenAlexW2048075614MaRDI QIDQ1826632

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

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

Related Items (2)

Semantic models for information flow ⋮ Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Separability and the detection of hidden channels
• Semantic models for information flow
• Refinement-oriented probability for CSP

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