Information flow safety in multi-party sessions

Ilaria Castellani, INRIA Sophia-Antipolis, France

(Joint work with Sara Capecchi and Mariangiola Dezani-Ciancaglini)

We propose a monitored semantics for a multiparty session calculus, which blocks the execution of processes as soon as they attempt to leak information. In particular, this semantics prevents leaks that could result from an unrestricted use of the control constructs of the calculus, such as session opening, selection, branching and delegation. We introduce a property of information flow safety based on this semantics, and show that it strictly implies the information flow security property studied in previous work. We argue that the flexibility of monitored semantics makes it particularly suitable for communication centred programming, due to its open ended nature.