scientific article; zbMATH DE number 7319029

MaRDI QIDQ4965856zbMATH OpenFDO

Authors Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini

Publication date 10 March 2021

Full work available at URL https://arxiv.org/abs/1108.4465, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESS2011.2

zbMATH Keywords

concurrencymonitored semanticssafetysecure information flowsession calculi

Mathematics Subject Classification ID

Computer security (68M25) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Information flow safety in multiparty sessions
• Secure Information Flow as a Safety Property
• Information flow in secret sharing protocols
• Multi-Party Protocols, Information Complexity and Privacy
• Multi-party protocols, information complexity and privacy
• Secure Multi-party Computation: Information Flow of Outputs and Game Theory
• Static Analysis
• scientific article; zbMATH DE number 3856986
• Self-adaptation and secure information flow in multiparty communications

Cited in

(11)

• Reversibility in session-based concurrency: a fresh look
• A gentle introduction to multiparty asynchronous session types
• Information flow safety in multiparty sessions
• Self-adaptation and secure information flow in multiparty communications
• Session types for access and information flow control
• Typing access control and secure information flow in sessions
• Lightening global types
• Monitoring networks through multiparty session types
• Observational equivalence for multiparty sessions
• On the expressiveness of multiparty sessions
• Domain-aware session types

This page was built for publication:

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