Typing access control and secure information flow in sessions

DOI10.1016/J.IC.2014.07.005MaRDI QIDQ462485zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

session typesaccess controlsecure information flowcommunication-centred computing

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 3814961 (Why is no real title available?)
• scientific article; zbMATH DE number 3915608 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 1884409 (Why is no real title available?)
• scientific article; zbMATH DE number 7319029 (Why is no real title available?)
• A type system for lock-free processes
• A uniform type structure for secure information flow
• Downgrading policies and relaxed noninterference
• Global Progress in Dynamically Interleaved Multiparty Sessions
• Multiparty asynchronous session types
• Noninterference for concurrent programs and thread systems
• Regulating Data Exchange in Service Oriented Applications
• Secure Enforcement for Global Process Specifications
• Session types for access and information flow control
• Type-based information flow analysis for the \(\pi\)-calculus
• Types and programing languages
• Verifying persistent security properties

Cited in

(10)

• Discretionary Information Flow Control for Interaction-Oriented Specifications
• Information flow safety in multiparty sessions
• Relating Process Languages for Security and Communication Correctness (Extended Abstract)
• Global types with internal delegation
• scientific article; zbMATH DE number 2043318 (Why is no real title available?)
• 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

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)