Improvement of a Three-Party Password-Based Key Exchange Protocol with Formal Verification

Qi Xie, Na Dong, Xiao Tan, Duncan S. Wong, Guilin Wang. Improvement of a Three-Party Password-Based Key Exchange Protocol with Formal Verification. ITC, 42(3):231-237, 2013. [doi]

Abstract

Abstract is missing.