Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective

Abstract : We present initial results on a comprehensive model of structured communications, in which self-adaptation and security concerns are jointly addressed. More specifically, we propose a model of self-adaptive, multiparty communications with secure information flow guarantees. In this model, security violations occur when processes 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 mechanisms for reacting to security violations; type soundness results ensure that global protocols are still correctly executed, while the system adapts itself to preserve security.
Type de document :
Communication dans un congrès
Third Workshop on Behavioural Types (BEAT 2014), Sep 2014, Rome, Italy. Electronic Proceedings in Theoretical Computer Science, 162, pp.9 - 18, 2014, 〈10.4204/EPTCS.162.2〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01088437
Contributeur : Ilaria Castellani <>
Soumis le : vendredi 28 novembre 2014 - 01:46:29
Dernière modification le : jeudi 11 janvier 2018 - 16:43:45
Document(s) archivé(s) le : vendredi 14 avril 2017 - 22:30:38

Fichier

BEAT14-EPTCS.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Collections

Citation

Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Perez. Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective. Third Workshop on Behavioural Types (BEAT 2014), Sep 2014, Rome, Italy. Electronic Proceedings in Theoretical Computer Science, 162, pp.9 - 18, 2014, 〈10.4204/EPTCS.162.2〉. 〈hal-01088437〉

Partager

Métriques

Consultations de la notice

120

Téléchargements de fichiers

90