An Enhanced Anonymous Password-based Authenticated Key Agreement Scheme with Formal Proof.

Min Wu Jianhua Chen Ruibing Wang

Published in: Int. J. Netw. Secur. (2017)

Keyphrases

formal proof
key agreement protocol
key agreement
key exchange
diffie hellman
modular exponentiation
theorem prover
security analysis
key exchange protocol
fault tolerant
secure communication