Modelling IBE-based Key Exchange Protocol using Tamarin Prover.

Srijanee Mookherji Vanga Odelu Rajendra Prasath

Published in: IACR Cryptol. ePrint Arch. (2021)

Keyphrases

key exchange protocol
diffie hellman
encryption scheme
key exchange
password authentication
digital images
cost effective
end to end