Security Properties: Two Agents Are Sufficient.

Hubert Comon-Lundh Véronique Cortier

Published in: ESOP (2003)

Keyphrases

security properties
multi agent
multi agent systems
intelligent agents
autonomous agents
formal model
security analysis
multiagent systems
security requirements
security protocols
security vulnerabilities
cryptographic protocols
dynamic environments
formal methods
key agreement