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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Focardi, R., Lucchi, R., Zavattaro, G.: Secure shared data-space coordination languages: A process algebraic survey. Sci. Comput. Program. 63(1), 3–15 (2006)
Gelernter, D.: Generative communication in linda. ACM Transactions on Programming Languages and Systems 7(1), 80–112 (1985)
Wyckoff, P., McLaughry, S., Lehman, T., Ford, D.: Tspaces. IBM Systems Journal 37(3), 454–474 (1998)
Freeman, E., Arnold, K., Hupfer, S.: JavaSpaces: Principles, Patterns, and Practice, 304 pages. Addison-Wesley Longman Ltd., Essex, (UK) (1999)
Ciancarini, P.: Coordination languages for open systems design. In: Proceedings of the International Conference on Computer Languages (ICCL 1990), New Orleans, LA (USA), pp. 252–260. IEEE Computer Society, Los Alamitos (1990)
Pfleeger, C.P., Pfleeger, S.L.: Security in Computing. Prentice Hall Professional Technical Reference (2002)
Bryce, C., Cremonini, M.: Coordination and security on the internet. Coordination of Internet agents: models, technologies, and applications, 274–298 (2001)
De Nicola, R., Ferrari, G.L., Pugliese, R.: Klaim: A Kernel Language for Agents Interaction and Mobility. IEEE Transactions on Software Engineering 24(5), 315–330 (1998)
Vitek, J., Bryce, C., Oriol, M.: Coordinating processes with secure spaces. Sci. Comput. Program. 46(1-2), 163–193 (2003)
Wooldridge, M., Jennings, N.R.: Intelligent agents: Theory and practice. Knowledge Engineering Review 10(2), 115–152 (1995)
Milner, R.: Communication and Concurrency, 272 pages. Prentice-Hall, Englewood Cliffs (1989)
Zargayouna, M.: Coordination model and language for open multiagent systems. Application to the Dial-A-Ride Problem. PhD dissertation, University of Paris-Dauphine, Paris, France (2007) (in French)
Zargayouna, M., Balbo, F., Scmama, G.: A data-oriented coordination language for distributed transportation application. In: Håkansson, A., Nguyen, N.T., Hartung, R.L., Howlett, R.J., Jain, L.C. (eds.) KES-AMSTA 2009. LNCS (LNAI), vol. 5559, pp. 283–292. Springer, Heidelberg (2009)
Busi, N., Gorrieri, R., Lucchi, R., Zavattaro, G.: Secspaces: a data-driven coordination model for environments open to untrusted agents. Electr. Notes Theor. Comput. Sci. 68(3) (2003)
Bravetti, M., Busi, N., Gorrieri, R., Lucchi, R., Zavattaro, G.: Security issues in the tuple-space coordination model. In: Dimitrakos, T., Martinelli, F. (eds.) Formal Aspects in Security and Trust, pp. 1–12. Springer, Heidelberg (2004)
Omicini, A., Ricci, A., Viroli, M.: RBAC for organisation and security in an agent coordination infrastructure. ENTCS 128(5), 65–85 (2005); Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, Languages, and Systems (SecCo 2004) (2004)
Oriol, M., Hicks, M.: Tagged sets: a secure and transparent coordination medium. In: Jacquet, J.M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol. 3454, pp. 252–267. Springer, Heidelberg (2005)
Minsky, N.H., Minsky, Y., Ungureanu, V.: Safe tuplespace-based coordination in multiagent systems. Applied Artificial Intelligence 15(1), 11–33 (2001)
Murphy, A.L., Picco, G.P., Roman, G.C.: LIME: A coordination model and middleware supporting mobility of hosts and agents. ACM Trans. Softw. Eng. Methodol. 15(3), 279–328 (2006)
Omicini, A., Zambonelli, F.: Coordination for Internet application development. Autonomous Agents and Multi-Agent Systems 2(3), 251–269 (1999)
Cheyer, A., Martin, D.: The open agent architecture. Journal of Autonomous Agents and Multi-Agent Systems 4(1), 143–148 (2001)
Busi, N., Zavattaro, G.: Expired data collection in shared dataspaces. Theoretical Computer Science 298(3), 529–556 (2003)
Linden, I., Jacquet, J.M., Bosschere, K.D., Brogi, A.: On the expressiveness of timed coordination models. Science of Computer Programming 61(2), 152–187 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zargayouna, M., Balbo, F., Haddad, S. (2010). Data Driven Language for Agents Secure Interaction. In: Dastani, M., El Fallah Segrouchni, A., Leite, J., Torroni, P. (eds) Languages, Methodologies, and Development Tools for Multi-Agent Systems. LADS 2009. Lecture Notes in Computer Science(), vol 6039. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13338-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-13338-1_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13337-4
Online ISBN: 978-3-642-13338-1
eBook Packages: Computer ScienceComputer Science (R0)