A calculus of mobile processes, I
Information and Computation
Communications of the ACM
Principles of a computer immune system
NSPW '97 Proceedings of the 1997 workshop on New security paradigms
Towards a taxonomy of intrusion-detection systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on computer network security
Communications of the ACM
Process algebra and Markov chains
Lectures on formal methods and performance analysis
Coordination for Internet Application Development
Autonomous Agents and Multi-Agent Systems
The Vision of Autonomic Computing
Computer
Model checking stochastic automata
ACM Transactions on Computational Logic (TOCL)
Coordination Artifacts: Environment-Based Coordination for Intelligent Agents
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Spray Computers: Frontiers of Self-Organization for Pervasive Computing
WETICE '04 Proceedings of the 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises
RBAC for Organisation and Security in an Agent Coordination Infrastructure
Electronic Notes in Theoretical Computer Science (ENTCS)
A sense of self for Unix processes
SP'96 Proceedings of the 1996 IEEE conference on Security and privacy
A self-organising solution to the collective sort problem in distributed tuple spaces
Proceedings of the 2007 ACM symposium on Applied computing
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case
Electronic Notes in Theoretical Computer Science (ENTCS)
Designing self-organising environments with agents and artefacts: a simulation-driven approach
International Journal of Agent-Oriented Software Engineering
Engineering Environment-Mediated Multi-Agent Systems
A Systemic Approach to the Validation of Self---Organizing Dynamics within MAS
Agent-Oriented Software Engineering IX
On the collective sort problem for distributed tuple spaces
Science of Computer Programming
Supporting agent-oriented designs with models of macroscopic system behavior
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Towards a Methodology for Engineering Self-Organising Emergent Systems
Proceedings of the 2005 conference on Self-Organization and Autonomic Informatics (I)
Modeling Feedback within MAS: A Systemic Approach to Organizational Dynamics
Organized Adaption in Multi-Agent Systems
Designing self-organising MAS environments: the collective sort case
E4MAS'06 Proceedings of the 3rd international conference on Environments for multi-agent systems III
Enhancing self-organising emergent systems design with simulation
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
SOAR'09 Proceedings of the First international conference on Self-organizing architectures
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Testing in multi-agent systems
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Automated evaluation of coordination approaches
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Self-organization and multiagent systems: II. Applications and the development technology
Journal of Computer and Systems Sciences International
Developing self-organizing systems by policy-based self-organizing multi-agent systems
AMT'12 Proceedings of the 8th international conference on Active Media Technology
| Hi-index | 0.00 |
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.