On the role of simulations in engineering self-organising MAS: The case of an intrusion detection system in TuCSoN

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3910 LNAI, Issue , 2006, Pages 153-166

  Gardelli, Luca ^a   Viroli, Mirko ^a   Omicini, Andrea ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; IMMUNOLOGY; MATHEMATICAL MODELS; PERFORMANCE; SECURITY OF DATA; SYSTEMS ANALYSIS;

AGENT COORDINATION; GLOBAL SYSTEM EVOLUTIONS; INTRUSION DETECTION SYSTEM;

MULTI AGENT SYSTEMS;

EID: 33745800439     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11734697_12     Document Type: Conference Paper

References (25)

1. Horn, P.: Autonomic computing: IBM's perspective on the state of information technology (2001)
2. Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36(1) (2003) 41-50
3. 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) (2000) 74-82
4. 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'04), Washington, DC, USA, IEEE Computer Society (2004) 403-408
5. 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)
6. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, part I/II. Information and Computation 100(1) (1992)
7. Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Institut für Instrumentelle Mathematik, University of Bonn, Bonn, Germany (1962)
8. Bryans, J., Bowman, H., Derrick, J.: Model checking stochastic automata. ACM Trans. Comput. Logic 4(4) (2003) 452-492
9. Priami, C.: Stochastic pi-calculus. Computer Journal 38(7) (1995) 578-589
10. Phillips, A.: The stochastic Pi machine (SPiM) (2005) http://www.doc.ic.ac.uk/~anp/spim/.
11. Phillips, A., Cardelli, L.: Simulating biological systems in the stochastic pi-calculus (2004)
12. Forrest, S., Hofmeyr, S.A., Somayaji, A.: Computer immunology. Communications of the ACM 40(10) (1997) 88-96
13. Omicini, A., Zambonelli, F.: Coordination for internet application development. Autonomous Agents and Multi-Agent Systems 2(3) (1999) 251-269
14. 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). Volume 1, New York, USA, ACM (2004) 286-293
15. Omicini, A., Ricci, A., Viroli, M.: RBAC for organisation and security in an agent coordination infrastructure. Electronic Notes in Theoretical Computer Science 128(5) (2005) 65-85
16. 2nd International Workshop on Security Issues in Coordination Models, Languages and Systems (SecCo'04), 30 August 2004. Proceedings.
17. Somayaji, A., Hofmeyr, S., Forrest, S.: Principles of a computer immune system. In: 1997 Workshop on New Security Paradigms (NSPW '97), New York, NY, USA, ACM Press (1997) 75-82
18. 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) (1999) 805-822
19. Forrest, S., Hofmeyr, S.A., Anil, S., A., L.T.: A sense of self for Unix processes. In: 1996 IEEE Symposium on Security and Privacy, Los Alamitos, CA, USA, IEEE Computer Society (1996) 120-128
20. Omicini, A.: Towards a notion of agent coordination context. In Marinescu, D.C., Lee, C., eds.: Process Coordination and Ubiquitous Computing. CRC Press (2002) 187-200
21. Hofmeyr, S.A., Forrest, S.: Immunity by design: an artificial immune system. In: Genetic and Evolutionary Computation Conference (GECCO'99). (1999) 1289-1296
22. Milner, R.: The polyadic π-calculus: a tutorial. In Hamer, F., W., B., Schwichtenberg, H., eds.: International Summer School on Logic Algebra of Specification, Springer (1993)
23. 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. Springer (2002) 183-231
24. Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry 81(25) (1977)
25. 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.: 1st International Workshop on Engineering Self-Organising Applications (ESOA 2003). (2003) 77-83