Information Flow Safety in Multiparty Sessions - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Mathematical Structures in Computer Science Année : 2016

Information Flow Safety in Multiparty Sessions

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
136 Consultations
102 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More