Disjunctive Information Flow for Communicating Processes

DOI10.1007/978-3-319-28766-9_7zbMath1457.68017OpenAlexW2265652392WikidataQ59416290 ScholiaQ59416290MaRDI QIDQ5857794

Ximeng Li, Hanne Riis Nielson, Xinyu Feng, Flemming Nielson

Publication date: 7 April 2021

Published in: Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-28766-9_7

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14) Computer security (68M25)

Related Items (1)

Taming Message-Passing Communication in Compositional Reasoning About Confidentiality

Uses Software

• Coq

This page was built for publication: Disjunctive Information Flow for Communicating Processes