Secure shared data-space coordination languages: a process algebraic survey

DOI10.1016/J.SCICO.2005.07.011MaRDI QIDQ2432758zbMATH OpenOpenAlexWikidataFDO

Authors Riccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro

Publication date 25 October 2006

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2005.07.011

zbMATH Keywords

coordination models and languagessecuritytuple spaces

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• A process algebraic view of shared dataspace coordination
• Coordinating processes with secure spaces
• On the expressiveness of coordination via shared dataspaces
• Supporting secure coordination in SecSpaces
• scientific article; zbMATH DE number 1696890

Cited in

(5)

• Dynamic management of capabilities in a network aware coordination language
• A process algebraic view of shared dataspace coordination
• Supporting secure coordination in SecSpaces
• From flow logic to static type systems for coordination languages
• Providing data confidentiality against malicious hosts in shared data spaces

Describes a project that uses

Uses Software

• Klava

This page was built for publication: Secure shared data-space coordination languages: a process algebraic survey

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