Keyphrases
- key exchange
- security analysis
- key distribution
- session key
- diffie hellman
- authentication protocol
- secure communication
- key exchange protocol
- public key
- security requirements
- security mechanisms
- key management
- formal analysis
- secret key
- smart card
- digital signature
- standard model
- session initiation protocol
- encryption scheme
- security properties
- group communication
- elliptic curve
- password based authenticated key exchange
- private key
- sensor networks
- network security
- fault tolerant
- lightweight