Decidability for Lightweight Diffie-Hellman Protocols.
Daniel J. DoughertyJoshua D. GuttmanPublished in: CSF (2014)
Keyphrases
- lightweight
- diffie hellman
- key exchange
- key agreement protocol
- security properties
- key distribution
- authentication protocol
- group communication
- standard model
- public key
- key exchange protocol
- signature scheme
- elliptic curve
- encryption scheme
- security analysis
- secret key
- key management
- security protocols
- rfid tags
- secure communication
- wireless sensor networks
- security requirements
- cryptographic protocols
- smart card
- digital signature
- password based authenticated key exchange
- efficient computation
- ciphertext
- fault tolerance