Typing access control and secure information flow in sessions

DOI10.1016/J.IC.2014.07.005zbMATH Open1360.68207OpenAlexW2165294971MaRDI QIDQ462485FDOQ462485

Authors: Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini 

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

Recommendations

• Session types for access and information flow control
• scientific article; zbMATH DE number 1538026
• On Continuous User Authentication via Typing Behavior
• Theoretical Aspects of Computing – ICTAC 2005
• Typing messages for free in security protocols
• Stack-based access control and secure information flow
• Fundamentals of Computation Theory
• A uniform type structure for secure information flow
• Access control encryption: enforcing information flow with cryptography

zbMATH Keywords

session typesaccess controlsecure information flowcommunication-centred computing

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Multiparty asynchronous session types
• Verifying persistent security properties
• Title not available (Why is that?)
• Types and programing languages
• Secure Enforcement for Global Process Specifications
• Regulating Data Exchange in Service Oriented Applications
• Session types for access and information flow control
• Type-based information flow analysis for the \(\pi\)-calculus
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Noninterference for concurrent programs and thread systems
• A type system for lock-free processes
• Title not available (Why is that?)
• A uniform type structure for secure information flow
• Downgrading policies and relaxed noninterference

Cited In (10)

• Information flow safety in multiparty sessions
• Relating Process Languages for Security and Communication Correctness (Extended Abstract)
• Global types with internal delegation
• Title not available (Why is that?)
• Exploring type-level bisimilarity towards more expressive multiparty session types
• Self-adaptation and secure information flow in multiparty communications
• Combining behavioural types with security analysis
• A gentle introduction to multiparty asynchronous session types
• Session types for access and information flow control
• Discretionary Information Flow Control for Interaction-Oriented Specifications

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

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