Data driven language for agents secure interaction

Authors:
Mahdi Zargayouna;Flavien Balbo;Serge Haddad
Affiliations:
GRETIA Laboratory, INRETS Institute, Building “Descartes II”, Noisy le Grand, France;LAMSADE-CNRS Laboratory, University of Paris Dauphine, Paris Cedex 16, France;LSV-CNRS Laboratory, École Normale Supérieure de Cachan, Cachan, France
Venue:
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
Year:
2009

Citing 17
Cited 0

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
Coordination and security on the Internet

Coordination of Internet agents
Communication and Concurrency

Communication and Concurrency
JavaSpaces Principles, Patterns, and Practice

JavaSpaces Principles, Patterns, and Practice
Security in Computing

Security in Computing
Coordination for Internet Application Development

Autonomous Agents and Multi-Agent Systems
The Open Agent Architecture

Autonomous Agents and Multi-Agent Systems
Coordinating processes with secure spaces

Science of Computer Programming - Special issue on coordination languages and architectures
Expired data collection in shared dataspaces

Theoretical Computer Science - Foundations of software science and computation structures
T spaces

IBM Systems Journal
On the expressiveness of timed coordination models

Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
LIME: A coordination model and middleware supporting mobility of hosts and agents

ACM Transactions on Software Engineering and Methodology (TOSEM)
Secure shared data-space coordination languages: a process algebraic surveys

Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
A Data-Oriented Coordination Language for Distributed Transportation Applications

KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
RBAC for Organisation and Security in an Agent Coordination Infrastructure

Electronic Notes in Theoretical Computer Science (ENTCS)
Tagged sets: a secure and transparent coordination medium

COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper discusses the security issues in data driven coordination languages. These languages rely on a data space shared by the agents and used to coordinate their activities. We extend these languages with a main distinguishing feature, which is the possibility to define fine-grained state-based security conditions, associated with every datum in the shared space. Two main ideas makes it possible: the consideration of an abstraction of agents' states in the form of data at language level and the introduction of a richer interaction mechanism than state-of-the-art templates. This novel security mechanism allows both agents and system designers to prohibit undesirable interactions.