Abstract
The intrinsic complexity of self-organising MASs (multi-agent systems) suggests the use of formal methods at early stages of the design process in order to predict global system evolutions. In particular, we evaluate the use of simulations of high-level system models to analyse properties of a design, which can anticipate the detection of wrong design choices and the tuning of system parameters, so as to rapidly converge to given overall requirements and performance factors.
We take intrusion detection (ID) as a case, and devise an architecture inspired by principles from human immune systems. This is based on the TuCSoN infrastructure, which provides agents with an environment of artifacts—most notably coordination artifacts and agent coordination contexts. We then use stochastic π-calculus for specifying and running quantitative, large-scale simulations, which allow us to verify the basic applicability of our ID and obtain a preliminary set of its main working parameters.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Horn, P.: Autonomic computing: IBM’s perspective on the state of information technology (2001)
Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36(1), 41–50 (2003)
Abelson, H., Allen, D., Coore, D., Hanson, C., Homsy, G., Thomas, F., Knight, J., Nagpal, R., Rauch, E., Sussman, G.J., Weiss, R.: Amorphous computing. Communications of the ACM 43(5), 74–82 (2000)
Zambonelli, F., Gleizes, M.P., Mamei, M., Tolksdorf, R.: Spray computers: Frontiers of self-organization for pervasive computing. In: 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2004), Washington, DC, USA, pp. 403–408. IEEE Computer Society, Los Alamitos (2004)
Heylighen, F.: The science of self-organization and adaptivity. In: Knowledge Management, Organizational Intelligence and Learning, and Complexity. The Encyclopedia of Life Support Systems. EOLSS Publishers (2003)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, part I/II. Information and Computation 100(1) (1992)
Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Institut für Instrumentelle Mathematik, University of Bonn, Bonn, Germany (1962)
Bryans, J., Bowman, H., Derrick, J.: Model checking stochastic automata. ACM Trans. Comput. Logic 4(4), 452–492 (2003)
Priami, C.: Stochastic pi-calculus. Computer Journal 38(7), 578–589 (1995)
Phillips, A.: The stochastic Pi machine. SPiM (2005), http://www.doc.ic.ac.uk/~anp/spim/
Phillips, A., Cardelli, L.: Simulating biological systems in the stochastic pi-calculus (2004)
Forrest, S., Hofmeyr, S.A., Somayaji, A.: Computer immunology. Communications of the ACM 40(10), 88–96 (1997)
Omicini, A., Zambonelli, F.: Coordination for internet application development. Autonomous Agents and Multi-Agent Systems 2(3), 251–269 (1999)
Omicini, A., Ricci, A., Viroli, M., Castelfranchi, C., Tummolini, L.: Coordination artifacts: Environment-based coordination for intelligent agents. In: Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.) 3rd international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), vol. 1, pp. 286–293. ACM, New York (2004)
Omicini, A., Ricci, A., Viroli, M.: RBAC for organisation and security in an agent coordination infrastructure. Electronic Notes in Theoretical Computer Science 128(5), 65–85 (2005); Proceedings 2nd International Workshop on Security Issues in Coordination Models, Languages and Systems (SecCo 2004) (30 August 2004)
Somayaji, A., Hofmeyr, S., Forrest, S.: Principles of a computer immune system. In: 1997 Workshop on New Security Paradigms (NSPW 1997), pp. 75–82. ACM Press, New York (1997)
Debar, H., Marc, D., Andreas, W.: Towards a taxonomy of intrusion-detection systems. Computer Networks: The International Journal of Computer and Telecommunications Networking 31(9), 805–822 (1999)
Forrest, S., Hofmeyr, S.A., Anil, S.: A sense of self for Unix processes. In: 1996 IEEE Symposium on Security and Privacy, pp. 120–128. IEEE Computer Society, Los Alamitos (1996)
Omicini, A.: Towards a notion of agent coordination context. In: Marinescu, D.C., Lee, C. (eds.) Process Coordination and Ubiquitous Computing., pp. 187–200. CRC Press, Boca Raton (2002)
Hofmeyr, S.A., Forrest, S.: Immunity by design: an artificial immune system. In: Genetic and Evolutionary Computation Conference (GECCO 1999), pp. 1289–1296 (1999)
Milner, R.: The polyadic π-calculus: a tutorial. In: Brauer, F.L., Brauer, W., Schwichtenberg, H. (eds.) International Summer School on Logic Algebra of Specification. Springer, Heidelberg (1993)
Brinksma, E., Hermanns, H.: Process algebra and Markov chains. In: Lectures on formal methods and performance analysis: 1st EEF/Euro Summer School on Trends in Computer Science, pp. 183–231. Springer, Heidelberg (2002)
Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry 81(25) (1977)
Hassas, S., Foukia, N.: Towards self-organizing computer networks: A complex system perspective. In: Di Marzo Serugendo, G., Karageorgos, A., Rana, O.F., Zambonelli, F. (eds.) ESOA 2003. LNCS (LNAI), vol. 2977, pp. 77–83. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gardelli, L., Viroli, M., Omicini, A. (2006). On the Role of Simulations in Engineering Self-organising MAS: The Case of an Intrusion Detection System in TuCSoN . In: Brueckner, S.A., Di Marzo Serugendo, G., Hales, D., Zambonelli, F. (eds) Engineering Self-Organising Systems. ESOA 2005. Lecture Notes in Computer Science(), vol 3910. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11734697_12
Download citation
DOI: https://doi.org/10.1007/11734697_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33342-5
Online ISBN: 978-3-540-33352-4
eBook Packages: Computer ScienceComputer Science (R0)