A Derivation System for Security Protocols and its Logical Formalization.
Anupam DattaAnte DerekJohn C. MitchellDusko PavlovicPublished in: CSFW (2003)
Keyphrases
- security protocols
- automated design
- security properties
- cryptographic algorithms
- security services
- logical language
- logical framework
- formal model
- artificial immune algorithm
- secure communication
- key management
- authentication protocol
- security mechanisms
- cryptographic protocols
- artificial intelligence
- security requirements