On the Role of Simulations in Engineering Self-Organising MAS: The Case of an Intrusion Detection System in TuCSoN

   page       BibTeX_logo.png   
Luca Gardelli, Mirko Viroli, Andrea Omicini
Sven A. Brueckner, Giovanna Di Marzo Serugendo, David Hales, Franco Zambonelli (eds.)
Engineering Self-Organising Systems, part II, chapter 12, pages 153-168
Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence) 3910
Springer Berlin Heidelberg

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.

journal or series
book Lecture Notes in Computer Science (LNCS)

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY