Typing access control and secure information flow in sessions

DOI10.1016/j.ic.2014.07.005zbMath1360.68207OpenAlexW2165294971MaRDI QIDQ462485

Mariangiola Dezani-Ciancaglini, Ilaria Castellani, Sara Capecchi

Publication date: 20 October 2014

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2014.07.005

zbMATH Keywords

access controlsession typessecure information flowcommunication-centred computing

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14)

Related Items (8)

Relating Process Languages for Security and Communication Correctness (Extended Abstract) ⋮ Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types ⋮ Self-adaptation and secure information flow in multiparty communications ⋮ Discretionary Information Flow Control for Interaction-Oriented Specifications ⋮ Combining behavioural types with security analysis ⋮ Information flow safety in multiparty sessions ⋮ Global types with internal delegation ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types

Cites Work

• Noninterference for concurrent programs and thread systems
• Verifying persistent security properties
• A type system for lock-free processes
• Type-based information flow analysis for the \(\pi\)-calculus
• Secure Enforcement for Global Process Specifications
• Multiparty asynchronous session types
• Regulating Data Exchange in Service Oriented Applications
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Session Types for Access and Information Flow Control
• A uniform type structure for secure information flow
• Downgrading policies and relaxed noninterference
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Typing access control and secure information flow in sessions