Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

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

Résumé

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.
Fichier principal
Vignette du fichier
BEAT14-EPTCS.pdf (110.55 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01088437 , version 1 (28-11-2014)

Identifiants

Citer

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), Marco Carbone, Sep 2014, Rome, Italy. pp.9 - 18, ⟨10.4204/EPTCS.162.2⟩. ⟨hal-01088437⟩

Collections

INRIA INRIA2
223 Consultations
81 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More