Skip to Main content Skip to Navigation
Conference papers

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], Inria Saclay - Ile de France
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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-00772633
Contributor : Stefan Haar <>
Submitted on : Thursday, January 10, 2013 - 8:00:47 PM
Last modification on : Tuesday, July 7, 2020 - 11:50:23 AM

Links full text

Identifiers

Collections

Citation

H. Mahdi Zargayouna, Flavien Balbo, Serge Haddad. Agents Secure Interaction in Data Driven Languages. Revised Selected Papers of the 2nd Workshop on LAnguages, methodologies and Development tools for multi-agent systemS (LADS'09), Sep 2009, Torino, Italy, Italy. pp.72-91, ⟨10.1007/978-3-642-13338-1_5⟩. ⟨hal-00772633⟩

Share

Metrics

Record views

334