Formal analysis of modern security protocols.
Alec YasinsacJustin ChildsPublished in: Inf. Sci. (2005)
Keyphrases
- formal analysis
- security protocols
- automated design
- security services
- security properties
- key management
- formal methods
- authentication protocol
- secure communication
- artificial immune algorithm
- security requirements
- ban logic
- artificial intelligence
- cryptographic protocols
- security mechanisms
- agent model
- database systems