Typing access control and secure information flow in sessions

DOI10.1016/j.ic.2014.07.005zbMath1360.68207MaRDI 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 control; session types; secure information flow; communication-centred computing

Mathematics Subject Classification ID

68M10: Network design and communication in computer systems

68M14: Distributed systems

Related Items

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

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