Safe, Untrusted Agents Using Proof-Carrying Code.
George C. NeculaPeter LeePublished in: Mobile Agents and Security (1998)
Keyphrases
- multi agent systems
- multi agent
- multiagent systems
- intelligent agents
- autonomous agents
- cooperative
- multiple agents
- artificial agents
- software agents
- dynamic environments
- source code
- single agent
- third party
- private information
- reasoning process
- agent architecture
- agent systems
- reactive agents
- resource allocation
- decision making
- social welfare
- learning agents
- dynamic logic
- bounded rationality
- artificial intelligence
- mobile agents
- privacy preserving
- open source
- coalition formation
- agent technology
- trust model
- theorem proving
- incomplete information
- model checking
- cognitive agents
- software systems
- linear logic
- coordination mechanism
- multi agent planning
- neural network