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

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...

Full description

Bibliographic Details
Main Authors: Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
Format: Article
Language:English
Published: Open Publishing Association 2014-08-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1408.5978v1