A Top Down Approach for MAS Protocol Descriptions.
Joaquín PeñaRafael CorchueloJosé Luis ArjonaPublished in: SAC (2003)
Keyphrases
- multi agent systems
- lightweight
- multiagent systems
- cryptographic protocols
- cooperative
- high level
- tcp ip
- security analysis
- natural language descriptions
- network protocols
- communication protocol
- security protocols
- formal analysis
- interaction protocols
- multi agent
- communication protocols
- agent systems
- coloured petri nets
- authentication protocol
- agent oriented
- database
- multi party
- agent architecture
- privacy preserving
- neural network