Supporting secure coordination in SecSpaces

MaRDI QIDQ3413369zbMATH OpenFDO

Authors Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro

Publication date 4 January 2007

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data encryption (aspects in computer science) (68P25) Network design and communication in computer systems (68M10)

Recommendations

• Coordinating processes with secure spaces
• scientific article; zbMATH DE number 2089345
• Secure shared data-space coordination languages: a process algebraic survey
• Classification of security properties in a Linda-like process algebra
• On the expressiveness of coordination via shared dataspaces

Cited in

(5)

• Providing data confidentiality against malicious hosts in shared data spaces
• Coordinating processes with secure spaces
• Secure shared data-space coordination languages: a process algebraic survey
• Dynamic management of capabilities in a network aware coordination language
• scientific article; zbMATH DE number 1951525 (Why is no real title available?)

This page was built for publication: Supporting secure coordination in SecSpaces

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