Improved G-3PAKE Protocol with Formal Verification

Download Now
Provided by: Institute of Advanced Engineering and Science (IAES)
Topic: Security
Format: PDF
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.
Download Now

Find By Topic