Focardi, Riccardo; Lucchi, Roberto; Zavattaro, Gianluigi Secure shared data-space coordination languages: a process algebraic survey. (English) Zbl 1103.68432 Sci. Comput. Program. 63, No. 1, 3-15 (2006). Summary: Shared data-space coordination languages, which provide a means to program interactions between decoupled entities abstracting away from their internal behavior, represent a powerful framework for programming network applications over the Internet and, in general, in open systems where the entities involved are not known a priori. In this context, where programs may run in an untrusted environment, new challenges come into play such as to provide a means to support security. In this paper we outline the most significant security threats emerging in this context and we present a survey, in a process algebraic setting, of the most interesting shared data-space coordination languages. Cited in 2 Documents MSC: 68N15 Theory of programming languages Keywords:coordination models and languages; tuple spaces; security Software:Klava PDFBibTeX XMLCite \textit{R. Focardi} et al., Sci. Comput. Program. 63, No. 1, 3--15 (2006; Zbl 1103.68432) Full Text: DOI