Data Driven Language for Agents Secure Interaction

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.

[1]  Gianluigi Zavattaro,et al.  Secure shared data-space coordination languages: A process algebraic survey , 2006, Sci. Comput. Program..

[2]  Jan Vitek,et al.  Coordinating processes with secure spaces , 2003, Sci. Comput. Program..

[3]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[4]  Nadia Busi,et al.  Expired data collection in shared dataspaces , 2003, Theor. Comput. Sci..

[5]  David Gelernter,et al.  Generative communication in Linda , 1985, TOPL.

[6]  Marco Cremonini,et al.  Coordination and Security on the Internet , 2001, Coordination of Internet Agents: Models, Technologies, and Applications.

[7]  Victoria Ungureanu,et al.  Safe tuplespace-based coordination in multiagent systems , 2001, Appl. Artif. Intell..

[8]  Andrea Omicini,et al.  RBAC for Organisation and Security in an Agent Coordination Infrastructure , 2005, SecCo.

[9]  Mario Bravetti,et al.  Security Issues in the Tuple-Space Coordination Model , 2004, Formal Aspects in Security and Trust.

[10]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[11]  Rocco De Nicola,et al.  KLAIM: A Kernel Language for Agents Interaction and Mobility , 1998, IEEE Trans. Software Eng..

[12]  Manuel Oriol,et al.  Tagged Sets: A Secure and Transparent Coordination Medium , 2005, COORDINATION.

[13]  Amal El Fallah Seghrouchni,et al.  CLAIM and SyMPA: A Programming Environment for Intelligent and Mobile Agents , 2005, Multi-Agent Programming.

[14]  Theo Dimitrakos,et al.  Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers , 2007, Formal Aspects in Security and Trust.

[15]  Tobin J. Lehman,et al.  T Spaces , 1998, IBM Syst. J..

[16]  Ken Arnold,et al.  JavaSpaces¿ Principles, Patterns, and Practice , 1999 .

[17]  Adam Cheyer,et al.  The Open Agent Architecture , 1997, Autonomous Agents and Multi-Agent Systems.

[18]  Amy L. Murphy,et al.  LIME: A coordination model and middleware supporting mobility of hosts and agents , 2006, TSEM.

[19]  Charles P. Pfleeger,et al.  Security in computing , 1988 .

[20]  Paolo Ciancarini.  Coordination languages for open system design , 1990, Proceedings. 1990 International Conference on Computer Languages.

[21]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[22]  Franco Zambonelli,et al.  Coordination for Internet Application Development , 1999, Autonomous Agents and Multi-Agent Systems.

[23]  Flavien Balbo,et al.  A Data-Oriented Coordination Language for Distributed Transportation Applications , 2009, KES-AMSTA.

[24]  Roberto Gorrieri,et al.  SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents , 2003, Electron. Notes Theor. Comput. Sci..

[25]  Gianluigi Zavattaro,et al.  Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004) , 2003 .

[26]  Jean-Marie Jacquet,et al.  On the expressiveness of timed coordination models , 2006, Sci. Comput. Program..