×

Secure shared data-space coordination languages: a process algebraic survey. (English) Zbl 1103.68432

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.

MSC:

68N15 Theory of programming languages

Software:

Klava
PDFBibTeX XMLCite
Full Text: DOI