Keyphrases
- security protocols
- security services
- security properties
- automated design
- security mechanisms
- cryptographic algorithms
- secure communication
- key management
- authentication protocol
- security requirements
- artificial immune algorithm
- cryptographic protocols
- smart card
- digital libraries
- database systems
- rfid tags
- formal model
- data mining