Compositional refinement in agent-based security protocols.
A. K. McIverCarroll C. MorganPublished in: Formal Aspects Comput. (2011)
Keyphrases
- security protocols
- automated design
- cryptographic algorithms
- security properties
- security services
- authentication protocol
- key management
- artificial immune algorithm
- secure communication
- multi agent systems
- security mechanisms
- cryptographic protocols
- rfid tags
- real time
- security requirements
- low cost
- web services
- data mining