Information Flow Safety in Multiparty Sessions
Cryptography and Security
2015-01-07 v1
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.
Keywords
Cite
@article{arxiv.1108.4465,
title = {Information Flow Safety in Multiparty Sessions},
author = {Sara Capecchi and Ilaria Castellani and Mariangiola Dezani-Ciancaglini},
journal= {arXiv preprint arXiv:1108.4465},
year = {2015}
}
Comments
In Proceedings EXPRESS 2011, arXiv:1108.4077