Self-adaptation and secure information flow in multiparty communications

Abstract : We present a comprehensive model of structured communications in which self-adaptation and security concerns are jointly addressed. More specifically, we propose a model of multiparty, self-adaptive communications with access control and secure information flow guarantees. In our model, multiparty protocols (choreographies) are described as global types; security violations occur when process implementations of protocol participants attempt to read or write messages of inappropriate security levels within directed exchanges. Such violations trigger adaptation mechanisms that prevent the violations to occur and/or to propagate their effect in the choreography. Our model is equipped with local and global adaptation mechanisms for reacting to security violations of different gravity; type soundness results ensure that the overall multiparty protocol is still correctly executed while the system adapts itself to preserve the participants' security.
Type de document :
Article dans une revue
Formal Aspects of Computing, Springer Verlag, 2016, 28 (4), pp.28. 〈10.1007/s00165-016-0381-3〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01354906
Contributeur : Ilaria Castellani <>
Soumis le : samedi 20 août 2016 - 02:45:46
Dernière modification le : vendredi 12 janvier 2018 - 11:03:01
Document(s) archivé(s) le : lundi 21 novembre 2016 - 10:02:04

Fichier

cdp-FAC16.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Perez. Self-adaptation and secure information flow in multiparty communications. Formal Aspects of Computing, Springer Verlag, 2016, 28 (4), pp.28. 〈10.1007/s00165-016-0381-3〉. 〈hal-01354906〉

Partager

Métriques

Consultations de la notice

258

Téléchargements de fichiers

68