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

Authors:
Riccardo Focardi;Roberto Lucchi;Gianluigi Zavattaro
Affiliations:
Dipartimento di Informatica, Università Cà Foscari di Venezia, Via Torino, Mestre (Ve), Italy;Dipartimento di Scienze dell'Informazione, Università degli Studi di Bologna, Bologna, Italy;Dipartimento di Scienze dell'Informazione, Università degli Studi di Bologna, Bologna, Italy
Venue:
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
Year:
2006

Citing 12
Cited 4

Generative communication in Linda

ACM Transactions on Programming Languages and Systems (TOPLAS)
KLAIM: A Kernel Language for Agents Interaction and Mobility

IEEE Transactions on Software Engineering
The Java Language Specification

The Java Language Specification
Coordinating processes with secure spaces

Science of Computer Programming - Special issue on coordination languages and architectures
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces

FIDJI '01 Revised Papers from the International Workshop on Scientific Engineering for Distributed Java Applications
LIME: A Middleware for Physical and Logical Mobility

ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
PeerSpaces: data-driven coordination in peer-to-peer networks

Proceedings of the 2003 ACM symposium on Applied computing
WSSecSpaces: a secure data-driven coordination service for Web Services applications

Proceedings of the 2004 ACM symposium on Applied computing
T spaces

IBM Systems Journal
Quantitative information in the tuple space coordination model

Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
Resource access and mobility control with dynamic privileges acquisition

ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Supporting Secure Coordination in SecSpaces

Fundamenta Informaticae

Providing data confidentiality against malicious hosts in Shared Data Spaces

Science of Computer Programming
Encrypted shared data spaces

COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Security policy foundations in context UNITY

Proceedings of the 7th International Workshop on Software Engineering for Secure Systems
Data driven language for agents secure interaction

LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.