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


Luca Gardelli, Mirko Viroli, Andrea Omicini

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.

Engineering Self-Organising Systems, parte II, cap. 12, Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence) 3910, pp. 153-168,  2006.
Sven A. Brueckner, Giovanna Di Marzo Serugendo, David Hales, Franco Zambonelli (a cura di), Springer Berlin Heidelberg.
3rd International Workshop “Engineering Self-Organising Applications” (ESOA 2005), Utrecht, The Netherlands, 26 July 2005. Revised Selected Papers

@incollection{selforg-esoaIII,
Author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
Booktitle = {Engineering Self-Organising Systems},
Chapter = 12,
Doi = {10.1007/11734697_12},
Editor = {Brueckner, Sven A. and Di Marzo Serugendo, Giovanna and Hales, David and Zambonelli, Franco},
Isbn = {978-3-540-33342-5},
Isbn-Online = {978-3-540-33352-4},
Isbn-10 = {3-540-33342-8},
Issn = {0302-9743},
Note = {3rd International Workshop (ESOA 2005), Utrecht, The Netherlands, 26~} # jul # {~2005. Revised Selected Papers},
Pages = {153--168},
Part = {II},
Publisher = {Springer Berlin Heidelberg},
ScopusId = {2-s2.0-33745800439},
Series = {Lecture Notes in Computer Science},
Subseries = {Lecture Notes in Artificial Intelligence},
Title = {On the Role of Simulations in Engineering Self-Organising {MAS}: The Case of an Intrusion Detection System in {{\sf TuCSoN}}},
Url = {http://link.springer.com/10.1007/11734697_12},
Volume = 3910,
WosId = {000238109300012},
Year = 2006}

Riviste & collane

Pubblicazione

— autori/autrici

Luca Gardelli, Mirko Viroli, Andrea Omicini

— a cura di

Sven A. Brueckner, Giovanna Di Marzo Serugendo, David Hales, Franco Zambonelli

— stato

pubblicato

— tipo

articolo in atti

Sede di pubblicazione

— volume

Engineering Self-Organising Systems

— collana

Lecture Notes in Computer Science

— volume

3910

— capitolo

12

— parte

II

— pagine

153-168

— data di pubblicazione

2006

URL

pagina originale

Identificatori

— DOI

10.1007/11734697_12

— Scopus

2-s2.0-33745800439

— WoS / ISI

000238109300012

— print ISSN

0302-9743

— print ISBN

978-3-540-33342-5

— online ISBN

978-3-540-33352-4

— ISBN–10

3-540-33342-8

BibTeX

— BibTeX ID
selforg-esoaIII
— BibTeX category
incollection

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY