Information Flow Safety in Multiparty Sessions

Sara Capecchi
(University of Torino)
Ilaria Castellani
(INRIA Sophia Antipolis Méditerranée)
Mariangiola Dezani-Ciancaglini
(University of Torino)

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 Bas Luttik and Frank Valencia: Proceedings 18th International Workshop on Expressiveness in Concurrency (EXPRESS 2011), Aachen, Germany, 5th September 2011, Electronic Proceedings in Theoretical Computer Science 64, pp. 16–30.
Published: 20th August 2011.

ArXived at: http://dx.doi.org/10.4204/EPTCS.64.2 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org