Self-adaptation and secure information flow in multiparty communications
From MaRDI portal
Publication:315296
DOI10.1007/s00165-016-0381-3zbMath1345.68232arXiv1408.5978OpenAlexW2464556723WikidataQ57652348 ScholiaQ57652348MaRDI QIDQ315296
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)
Full work available at URL: https://arxiv.org/abs/1408.5978
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)
Related Items (7)
Reversibility in session-based concurrency: a fresh look ⋮ Data-driven adaptation for smart sessions ⋮ Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types ⋮ On first-order runtime enforcement of branching-time properties ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Typing access control and secure information flow in sessions
- Monitoring networks through multiparty session types
- Combining behavioural types with security analysis
- Subtyping for session types in the pi calculus
- Multiple facets for dynamic information flow
- Information flow safety in multiparty sessions
- Multiparty Asynchronous Session Types
- Tracking Information Flow in Dynamic Tree Structures
- Secure Enforcement for Global Process Specifications
- Multiparty asynchronous session types
- Timed Multiparty Session Types
- Secure Information Flow as a Safety Property
- A lattice model of secure information flow
- Adaptable processes
- Information flow inference for ML
- Global progress for dynamically interleaved multiparty sessions
- Structured Communication-Centred Programming for Web Services
This page was built for publication: Self-adaptation and secure information flow in multiparty communications
