Keyphrases
- lightweight
- key agreement protocol
- security properties
- diffie hellman
- key agreement
- security requirements
- security protocols
- security analysis
- formal model
- provably secure
- key management
- cryptographic protocols
- authentication protocol
- key distribution
- formal methods
- dos attacks
- rfid tags
- wireless sensor networks
- information security
- cloud computing
- authentication scheme