Self-adaptation and secure information flow in multiparty communications

DOI10.1007/S00165-016-0381-3MaRDI QIDQ315296zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez

Publication date 20 September 2016

Published in Formal Aspects of Computing (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1408.5978, https://pure.rug.nl/ws/files/49576865/Self_Adaptation_and_Secure_Information_Flow.pdf

zbMATH Keywords

concurrencybehavioural typesmultiparty communicationsecure information flowself-adaptation

Mathematics Subject Classification ID

Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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.

Recommendations

• scientific article; zbMATH DE number 7319029
• Information flow safety in multiparty sessions
• Data-driven adaptation for smart sessions
• Secure information flow by self-composition
• scientific article; zbMATH DE number 1958170

Cites work

• A lattice model of secure information flow
• Adaptable processes
• Combining behavioural types with security analysis
• Global progress for dynamically interleaved multiparty sessions
• Information flow inference for ML
• Information flow safety in multiparty sessions
• Monitoring networks through multiparty session types
• Multiparty Asynchronous Session Types
• Multiparty asynchronous session types
• Multiple facets for dynamic information flow
• Secure Enforcement for Global Process Specifications
• Secure Information Flow as a Safety Property
• Session types = intersection types + union types
• Structured Communication-Centred Programming for Web Services
• Subtyping for session types in the pi calculus
• Timed multiparty session types
• Tracking Information Flow in Dynamic Tree Structures
• Types and programing languages
• Typing access control and secure information flow in sessions

Cited in

(9)

• scientific article; zbMATH DE number 7649947 (Why is no real title available?)
• On runtime enforcement via suppressions
• Data-driven adaptation for smart sessions
• Reversibility in session-based concurrency: a fresh look
• Exploring type-level bisimilarity towards more expressive multiparty session types
• Event-based run-time adaptation in communication-centric systems
• scientific article; zbMATH DE number 7319029 (Why is no real title available?)
• On first-order runtime enforcement of branching-time properties
• scientific article; zbMATH DE number 7269246 (Why is no real title available?)

Describes a project that uses

Uses Software

• AIOCJ

This page was built for publication: Self-adaptation and secure information flow in multiparty communications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q315296)