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


Luca Gardelli, Mirko Viroli, Andrea Omicini

3rd International Workshop "Engineering Self-Organising Applications" (ESOA 2005), pages 161-175
26 July 2005
Sven Brueckner, Giovanna Di Marzo Serugendo, David Hales, Franco Zambonelli (eds.)

    The intrinsic complexity of self-organizing MASs (multi-agent systems) calls for the use of formal methods to predict global system evolutions at early stages of the design process.
    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.

 @inproceedings{selforg-esoa05,
Address = {AAMAS 2005, Utrecht, The Netherlands},
Author = {Gardelli, Luca and Viroli, Mirko and Omicini, Andrea},
Booktitle = {3rd International Workshop ``Engineering Self-Organising Applications'' (ESOA 2005)},
Editor = {Brueckner, Sven and Di Marzo Serugendo, Giovanna and Hales, David and Zambonelli, Franco},
Month = {26~} # jul,
Pages = {161--175},
Title = {On the Role of Simulations in Engineering Self-Organizing {MAS}: the Case of an Intrusion Detection System in {{\sf TuCSoN}}},
Year = 2005

Publication

— authors

Luca Gardelli, Mirko Viroli, Andrea Omicini

— editors

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

— status

published

— sort

paper in proceedings

Venue

— volume

3rd International Workshop "Engineering Self-Organising Applications" (ESOA 2005)

— pages

161-175

— publication date

26 July 2005

BibTeX

— BibTeX ID
selforg-esoa05
— BibTeX category
inproceedings

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