Information Flow Safety in Multiparty Sessions

Ilaria Castellani (INRIA Sophia Antipolis M\'editerran\'ee); Mariangiola Dezani-Ciancaglini (University of Torino); Sara Capecchi (University of Torino)

arxiv: 1108.4465 · v1 · pith:FMDUHCXVnew · submitted 2011-08-23 · 💻 cs.CR

Information Flow Safety in Multiparty Sessions

Sara Capecchi (University of Torino) , Ilaria Castellani (INRIA Sophia Antipolis M\'editerran\'ee) , Mariangiola Dezani-Ciancaglini (University of Torino) This is my paper

classification 💻 cs.CR

keywords calculusinformationmonitoredmultipartypropertysafetysemanticssessions

0 comments

read the original 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.

This paper has not been read by Pith yet.

Information Flow Safety in Multiparty Sessions

discussion (0)