Improved G-3PAKE Protocol with Formal Verification

H. K. Pathak, Manju Sanghi

Abstract


Password based mechanism is widely used for authentication since it allows people to choose their own passwords without any device to generate or store them. However these protocols should resist all types of password guessing attacks due to the low entropy of passwords. Recently many three party password authenticated key exchange (3PAKE) protocols have been proposed but most of them are vulnerable to various attacks. The present paper proposes an improved G-3PAKE protocol which can resist all the known attacks along with its formal proof.


Full Text:

PDF
Total views : 1 times

Refbacks

  • There are currently no refbacks.


Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.