Specifying and Verifying Secrecy in Workflows with Arbitrarily Many Agents.
Bernd FinkbeinerHelmut SeidlChristian MüllerPublished in: ATVA (2016)
Keyphrases
- multi agent
- multi agent systems
- multiagent systems
- intelligent agents
- multiple agents
- mobile agents
- data processing
- cooperative
- software agents
- agent systems
- autonomous agents
- dynamic environments
- artificial agents
- single agent
- web services
- distributed agents
- coalition formation
- reasoning process
- action selection
- decision making
- agent based simulation
- business process
- agent behavior
- business processes
- multi agent planning
- game theoretic
- agent model
- incomplete information
- key management
- resource allocation
- scientific workflows
- interacting agents