Login / Signup
Improvement of a Three-Party Password-Based Key Exchange Protocol with Formal Verification.
Qi Xie
Na Dong
Xiao Tan
Duncan S. Wong
Guilin Wang
Published in:
Inf. Technol. Control. (2013)
Keyphrases
</>
key exchange protocol
formal verification
model checking
automated verification
model checker
password authentication
symbolic model checking
diffie hellman
bounded model checking
secure communication
key exchange
image compression