Coordinating processes with secure spaces

DOI10.1016/S0167-6423(02)00090-4MaRDI QIDQ1870858zbMATH OpenOpenAlexFDO

Authors Jan Vitek, Ciarán Bryce, Manuel Oriol

Publication date 14 May 2003

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

Full work available at URL https://doi.org/10.1016/s0167-6423(02)00090-4

zbMATH Keywords

securityaccess controlcoordination languagesLinda

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Supporting secure coordination in SecSpaces
• Secure and conditional resource coordination for successful collaborations
• Publication:4502753
• Progress in Cryptology - INDOCRYPT 2004
• scientific article; zbMATH DE number 1759625
• Security in depth through smart space cascades
• scientific article; zbMATH DE number 3887416

Cited in

(3)

• Providing data confidentiality against malicious hosts in shared data spaces
• Supporting secure coordination in SecSpaces
• Secure shared data-space coordination languages: a process algebraic survey

This page was built for publication: Coordinating processes with secure spaces

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