Self-adaptation and secure information flow in multiparty communicationsReportar como inadecuado

Self-adaptation and secure information flow in multiparty communications - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 INDES - Secure Diffuse Programming CRISAM - Inria Sophia Antipolis - Méditerranée 2 Dipartimento di Informatica Torino 3 University of Groningen Groningen

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.

Keywords : concurrency behavioural types multiparty communication self-adaptation secure information flow

Autor: Ilaria Castellani - Mariangiola Dezani-Ciancaglini - Jorge A. Perez -



Documentos relacionados