Information Flow Safety in Multiparty Sessions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Mathematical Structures in Computer Science Year : 2016

Information Flow Safety in Multiparty Sessions


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 this semantics with various examples, and show that the induced safety property is compositional and that it is strictly included between a typability property and a security property proposed for an extended calculus in previous work. † Dedicated to the Memory of Kohei Honda
Fichier principal
Vignette du fichier
ifsms-mscs.pdf (365.23 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01237236 , version 1 (02-12-2015)



Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini. Information Flow Safety in Multiparty Sessions. Mathematical Structures in Computer Science, 2016, Special Issue: EXPRESS'11, 26 (8), pp.1352-1394. ⟨10.1017/S0960129514000619⟩. ⟨hal-01237236⟩
135 View
101 Download



Gmail Facebook X LinkedIn More