Taming Message-Passing Communication in Compositional Reasoning About Confidentiality

DOI10.1007/978-3-319-71237-6_3zbMath1503.68040OpenAlexW2768224742MaRDI QIDQ5055995

Ximeng Li, Heiko Mantel, Markus Tasch

Publication date: 9 December 2022

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-71237-6_3

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Type-based information flow analysis for the \(\pi\)-calculus
• Session Types for Access and Information Flow Control
• Proving the Correctness of Multiprocess Programs
• On flow-sensitive security types
• Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis
• Disjunctive Information Flow for Communicating Processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Taming Message-Passing Communication in Compositional Reasoning About Confidentiality