Information Flow Safety in Multiparty Sessions:

Sara Capecchi 1, * Ilaria Castellani 2, * Mariangiola Dezani-Ciancaglini 1, *
* Corresponding author
2 INDES - Secure Diffuse Programming
CRISAM - Inria Sophia Antipolis - Méditerranée
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 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
Document type :
Journal articles
Liste complète des métadonnées

Cited literature [21 references]  Display  Hide  Download

https://hal.inria.fr/hal-01237236
Contributor : Ilaria Castellani <>
Submitted on : Wednesday, December 2, 2015 - 11:12:04 PM
Last modification on : Friday, January 12, 2018 - 11:03:45 AM
Document(s) archivé(s) le : Thursday, March 3, 2016 - 3:01:59 PM

Files

ifsms-mscs.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini. Information Flow Safety in Multiparty Sessions: . Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2016, Special Issue: EXPRESS'11, 26 (8), pp.1352-1394. ⟨http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9495470&fileId=S0960129514000619⟩. ⟨10.1017/S0960129514000619⟩. ⟨hal-01237236⟩

Share

Metrics

Record views

241

Files downloads

77