Information flow safety in multiparty sessions

DOI10.1017/S0960129514000619zbMath1362.68204OpenAlexW2106396972MaRDI QIDQ2971077

Ilaria Castellani, Sara Capecchi, Mariangiola Dezani-Ciancaglini

Publication date: 4 April 2017

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129514000619

Mathematics Subject Classification ID

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

Related Items (4)

Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types ⋮ Dynamic role authorization in multiparty conversations ⋮ Self-adaptation and secure information flow in multiparty communications ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Typing access control and secure information flow in sessions
• Verifying persistent security properties
• Secure Enforcement for Global Process Specifications
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Session Types for Access and Information Flow Control
• Secure Information Flow as a Safety Property

This page was built for publication: Information flow safety in multiparty sessions