Information Flow Safety in Multiparty Sessions
arXiv:1108.4465 · doi:10.1017/S0960129514000619
Abstract
We consider a calculus for multiparty sessions enriched with security levels for messages. We propose a monitored semantics for this calculus, which blocks the execution of processes as soon as they attempt to leak information. We illustrate the use of our monitored semantics with various examples, and show that the induced safety property implies a noninterference property studied previously.
In Proceedings EXPRESS 2011, arXiv:1108.4077
Cited by in corpus (5)
- Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective
- Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows
- A Subexponential View of Domains in Session Types
- Session Logical Relations for Noninterference
- Secure Multiparty Sessions with Topics