Agents Secure Interaction in Data Driven Languages

H. Mahdi Zargayouna Flavien Balbo Serge Haddad 1
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
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 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.
Type de document :
Communication dans un congrès
Dastani, Mehdi and El~Fallah Seghrouchni, Amal and Leite, João and Torroni, Paolo. Revised Selected Papers of the 2nd Workshop on LAnguages, methodologies and Development tools for multi-agent systemS (LADS'09), Sep 2009, Torino, Italy, Italy. Springer, 6039, pp.72-91, 2009, 〈10.1007/978-3-642-13338-1_5〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00772633
Contributeur : Stefan Haar <>
Soumis le : jeudi 10 janvier 2013 - 20:00:47
Dernière modification le : jeudi 11 janvier 2018 - 01:56:18

Identifiants

Collections

Citation

H. Mahdi Zargayouna, Flavien Balbo, Serge Haddad. Agents Secure Interaction in Data Driven Languages. Dastani, Mehdi and El~Fallah Seghrouchni, Amal and Leite, João and Torroni, Paolo. Revised Selected Papers of the 2nd Workshop on LAnguages, methodologies and Development tools for multi-agent systemS (LADS'09), Sep 2009, Torino, Italy, Italy. Springer, 6039, pp.72-91, 2009, 〈10.1007/978-3-642-13338-1_5〉. 〈hal-00772633〉

Partager

Métriques

Consultations de la notice

258