Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption.
Yannick ChevalierRalf KüstersMichaël RusinowitchMathieu TuruaniPublished in: ACM Trans. Comput. Log. (2008)
Keyphrases
- security protocols
- diffie hellman
- security properties
- secure communication
- public key
- key management
- encryption scheme
- security analysis
- authentication protocol
- rfid tags
- standard model
- group communication
- ciphertext
- secret key
- security requirements
- formal model
- digital signature
- smart card
- cryptographic protocols
- elliptic curve
- signature scheme
- key distribution
- wireless sensor networks
- public key cryptosystem
- security model
- security mechanisms
- anomaly detection