Keyphrases
- formal model
- multi agent
- cooperative
- multi agent systems
- intelligent agents
- multiagent systems
- security properties
- formal models
- heterogeneous agents
- predicate calculus
- coalition formation
- reinforcement learning
- multi agent coordination
- intrusion detection
- knowledge based systems
- software development
- distributed systems
- knowledge representation
- environmental factors
- agent communication
- information technology
- security patterns
- case study
- agent based simulations