Information Flow Safety in Multiparty Sessions:

Sara Capecchi 1, * Ilaria Castellani 2, * Mariangiola Dezani-Ciancaglini 1, *
* Auteur correspondant
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
Type de document :
Article dans une revue
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〉
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01237236
Contributeur : Ilaria Castellani <>
Soumis le : mercredi 2 décembre 2015 - 23:12:04
Dernière modification le : vendredi 12 janvier 2018 - 11:03:45
Document(s) archivé(s) le : jeudi 3 mars 2016 - 15:01:59

Fichiers

ifsms-mscs.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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〉

Partager

Métriques

Consultations de la notice

210

Téléchargements de fichiers

60