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 metadata

https://hal.inria.fr/hal-00772633
Contributor : Stefan Haar Connect in order to contact the contributor
Submitted on : Thursday, January 10, 2013 - 8:00:47 PM
Last modification on : Tuesday, March 30, 2021 - 12:12:04 PM

Links full text

Identifiers

`

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

355