A mechanical approach to derive identity-based protocols from Diffie-Hellman-based protocols.

Kim-Kwang Raymond Choo Junghyun Nam Dongho Won

Published in: Inf. Sci. (2014)

Keyphrases

key distribution
diffie hellman
key exchange
key agreement protocol
signature scheme
encryption scheme
key management
group communication
session key
bilinear pairings
security protocols
security properties
secure communication
elliptic curve
secret key
fault tolerant
end to end
provably secure